module ArrEqDef:F.DRegister
(
sig
include F.Arrayinfo
val declare :Datalib.Cvalues.ArrEqName.t ->
'a -> ('b, 'c, Datalib.Cvalues.F.pred) Formula.itemval prefix :string
val section :Formula.section
val clear :unit -> unit
val pp_title :Format.formatter -> Datalib.Cvalues.F.Arrayinfo.t -> unit
val pp_descr :Format.formatter -> 'a -> unit
end
)