Module type Mem_utils.Function

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.