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