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