module type Function =sig
..end
val name : string
val prototype : unit -> Mem_utils.proto
val well_typed : Cil_types.typ option -> Cil_types.typ list -> bool
true
iff they are correct.
The received types depend on the prototype
of the module.Data t
-> it is the exact type of the expr/lvalue(C)Ptr
-> it is the pointed type of the expr/lvalue