sig
val formal_args :
Cil_types.varinfo -> (string * Cil_types.typ * Cil_types.attributes) list
val is_formal : Cil_types.varinfo -> Cil_types.fundec -> bool
val is_local : Cil_types.varinfo -> Cil_types.fundec -> bool
val is_formal_or_local : Cil_types.varinfo -> Cil_types.fundec -> bool
val is_formal_of_prototype : Cil_types.varinfo -> Cil_types.varinfo -> bool
val is_definition : Cil_types.cil_function -> bool
val get_vi : Cil_types.cil_function -> Cil_types.varinfo
val get_name : Cil_types.cil_function -> string
val get_id : Cil_types.cil_function -> int
end