Functor Fol_formula.Dindex


module Dindex: 
functor (I : Identifiable) -> sig .. end
Parameters:
I : Identifiable

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