module Classify: sig
.. end
module Typ: Extends.Typ
val find_function : Environment.env -> string -> Cil_types.varinfo option
val mk_overload : Environment.env -> string list -> Va_types.variadic_class
val mk_aggregator : Environment.env ->
string ->
int -> string -> Va_types.aggregator_type -> Va_types.variadic_class
val mk_format_fun : Cil_types.varinfo ->
Format_types.format_kind ->
Va_types.buffer -> format_pos:int -> Va_types.variadic_class
val is_frama_c_builtin : Cil_builtins.Builtin_functions.key -> bool
val va_builtins : string list
val is_va_builtin : string -> bool
val classify_std : Environment.env -> Cil_types.varinfo -> Va_types.variadic_class
val is_variadic_function : Cil_types.varinfo -> bool
val classify : Environment.env -> Cil_types.varinfo -> Va_types.variadic_function option