sig
  type 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 -> Mdata.S.integer
end