Module Datalib.Create.ArrEqDef


module ArrEqDef: Register(sig
include Arrayinfo
val declare : Datalib.Create.ArrEqName.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.Arrayinfo.t -> unit
val pp_descr : Format.formatter -> 'a -> unit
end)

type t = 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