module Dindex: functor (I : Identifiable) -> sig .. end
functor (
I
:
Identifiable
) ->
sig
end
include struct ... end
val get_ind : t -> Fol_formula.integer
t -> Fol_formula.integer
val has_ind : t -> Fol.pred -> bool
t -> Fol.pred -> bool