functor (R : sig val prefix : string end) ->
sig
val add_axiom :
string ->
Log.source option ->
string -> string -> Data_mem.Create.D.F.pred -> unit
val on_array : (Ctypes.arrayinfo -> unit) -> unit
val on_record : (Cil_types.compinfo -> unit) -> unit
val define : Ctypes.c_object -> unit
end