Module Macros


module Macros: sig .. end
TODO : put this somewhere else

val kf_var_res : (int, Cil_types.logic_var) Hashtbl.t
TODO : put this somewhere else
val result_var : Kernel_function.t -> Cil_types.logic_var
val get_one_stmt_label : Cil_types.stmt -> string
val logic_label_name : Cil_types.logic_label -> string
val pp_logic_label : Format.formatter -> Cil_types.logic_label -> unit
val pp_assign : Format.formatter -> Cil_types.identified_term Cil_types.assigns -> unit
val pp_assigns : Format.formatter -> Cil_types.identified_term Cil_types.assigns list -> unit
val get_env : ?default:string -> string -> string
val name_of_default_behavior : string
val memory_ltype : Cil_types.logic_type
val memory_lvar : Cil_types.logic_var lazy_t
val memory_type_ltype : Cil_types.logic_type
val memory_type_lvar : Cil_types.logic_var lazy_t