Functor Mem_utils.Make

module Make: 
functor (F : Function-> sig .. end
Parameters:
F : Function

val generate_function_type : Cil_types.typ -> Cil_types.typ
val generate_prototype : Cil_types.typ -> string * Cil_types.typ
val well_typed_call : Cil_types.lval option -> Cil_types.varinfo -> Cil_types.exp list -> bool
val retype_args : Cil_types.typ -> Cil_types.exp list -> Cil_types.exp list
val key_from_call : Cil_types.lval option ->
Cil_types.varinfo -> Cil_types.exp list -> Cil_types.typ