sig type t = Fieldinfo.t val define : t -> unit val get_definition : t -> F.pred Formula.declaration val on_definition : (t -> F.pred Formula.declaration -> unit) -> unit val get_ind : t -> integer end