module RecEqDef:Register
(
sig
include Compinfo
val declare :Datalib.Create.RecEqName.t -> 'a -> Datalib.Create.F.pred Formula.item
val prefix :string
val section :Formula.section
val clear :unit -> unit
val pp_title :Format.formatter -> Datalib.Create.Compinfo.t -> unit
val pp_descr :Format.formatter -> 'a -> unit
end
)
typet =
D.t
val get_definition : t -> Datalib.Create.F.pred Formula.declaration
val define : t -> unit
val on_definition : (t ->
Datalib.Create.F.pred Formula.declaration -> unit) ->
unit