Module type Fol_formula.Indexed


module type Indexed = sig .. end

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