sig type t val define : t -> unit val get_definition : t -> decl val on_definition : (t -> decl -> unit) -> unit val get_ind : t -> Formula.S.integer val has_ind : t -> Formula.S.pred -> bool end