Module Datalib.Cvalues.ArrEqName


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