module Compound:
Parameters: |
|
val add_axiom : string ->
Lexing.position option -> string -> string -> Data_mem.Create.F.pred -> unit
val on_array : (Data_mem.Create.F.Arrayinfo.t -> unit) -> unit
val on_record : (Data_mem.Create.F.Compinfo.t -> unit) -> unit
val define : Ctypes.c_object -> unit