Functor Data_mem.Create.Compound


module Compound: 
functor (R : sig
val prefix : string
end) -> sig .. end
Parameters:
R : sig val prefix : string end

val add_axiom : string ->
Log.source option -> string -> string -> Data_mem.Create.D.F.pred -> unit
val on_array : (Data_mem.Create.D.Arrayinfo.t -> unit) -> unit
val on_record : (Data_mem.Create.D.Compinfo.t -> unit) -> unit
val define : Ctypes.c_object -> unit