Frama-C API - `Logic_binding`

val clear : t -> t

val add : ?ty:Frama_c_kernel.Cil_types.typ -> t -> Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Cil_types.logic_var -> Frama_c_kernel.Cil_types.varinfo * Frama_c_kernel.Cil_types.exp * t

val add_binding : t -> Frama_c_kernel.Cil_types.logic_var -> Frama_c_kernel.Cil_types.varinfo -> t

val get : t -> Frama_c_kernel.Cil_types.logic_var -> Frama_c_kernel.Cil_types.varinfo

val remove : t -> Frama_c_kernel.Cil_types.logic_var -> unit

Frama-C API - Logic_binding

Frama-C API - `Logic_binding`