module Make:
Parameters: |
|
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