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
receives the type of the lvalue and the types of the arguments received
for a call to the function and returns 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