Env.Logic_binding
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