Module Standard

module Standard: sig .. end

module Cil: Extends.Cil
module List: Extends.List
module Typ: Extends.Typ
module Build: Va_build
val params_types : ('a * 'b * 'c) list -> 'b list
val pp_prototype : string -> Format.formatter -> Cil_types.typ list -> unit
val pp_overload : string -> Format.formatter -> (Cil_types.typ list * 'a) list -> unit
val new_globals : Cil_types.global list Pervasives.ref
exception Translate_call_exn
val extended_integer_typenames : string list
val is_extended_integer_type : Cil_types.typ -> bool
val can_cast : Cil_types.typ -> Cil_types.typ -> bool
val cast_arg : int -> Cil_types.typ -> Cil_types.exp -> Cil_types.exp
val match_args : Cil_types.typ list ->
Cil_types.exp list -> Cil_types.exp list * Cil_types.exp list
val match_call : loc:Cil_types.location ->
fundec:Cil_types.fundec ->
Cil_types.block ->
(Cil_types.exp -> Cil_types.exp list -> Cil_types.instr) ->
Cil_types.varinfo ->
Cil_types.typ list -> Cil_types.exp list -> Cil_types.instr list
val find_null : Cil_types.exp list -> int
val aggregator_call : fundec:Cil_types.fundec ->
Va_types.aggregator ->
Cil_types.block ->
Cil_types.location ->
(Cil_types.exp -> Cil_types.exp list -> Cil_types.instr) ->
Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list
val check_arg_matching : Cil_types.typ -> Cil_types.typ -> bool
val check_call_matching : Cil_types.typ list -> Cil_types.typ list -> bool
val filter_matching_prototypes : (Cil_types.typ list * 'a) list ->
Cil_types.exp list -> (Cil_types.typ list * 'a) list
val overloaded_call : fundec:Cil_types.fundec ->
(Cil_types.typ list * Cil_types.varinfo) list ->
Cil_types.block ->
Cil_types.location ->
(Cil_types.exp -> Cil_types.exp list -> Cil_types.instr) ->
Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list
val static_string : Cil_types.exp -> Format_string.t option
val find_global : Environment.env -> string -> Cil_types.varinfo option
val find_predicate : string -> Cil_types.logic_info option
val find_field : Environment.env -> string -> string -> Cil_types.fieldinfo option
val find_predicate_by_width : Cil_types.typ -> string -> string -> Cil_types.logic_info option
val build_fun_spec : Environment.env ->
Cil_datatype.Location.t ->
Va_types.variadic_function ->
Va_types.format_fun ->
('a *
[< `ArgIn
| `ArgInArray of Format_types.precision option
| `ArgInOut
| `ArgOut
| `ArgOutArray
> `ArgInArray `ArgOut ])
list -> Cil_types.varinfo list -> Cil_types.spec
val format_fun_call : fundec:Cil_types.fundec ->
Environment.env ->
Va_types.format_fun ->
Cil_types.block ->
Cil_datatype.Location.t ->
(Cil_types.exp -> Cil_types.exp list -> Cil_types.instr) ->
Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list