Module Fol_formula.LTindex


module LTindex: Dindex(LTypeinfo)

include struct ... end
val get_ind : t -> Fol_formula.integer
val has_ind : t -> Fol.pred -> bool