Module Env.Logic_binding

module Logic_binding: sig .. end

val add : ?ty:Cil_types.typ ->
Env.t -> Cil_types.logic_var -> Cil_types.varinfo * Cil_types.exp * Env.t
val add_binding : Env.t -> Cil_types.logic_var -> Cil_types.varinfo -> Env.t
val get : Env.t -> Cil_types.logic_var -> Cil_types.varinfo
val remove : Env.t -> Cil_types.logic_var -> unit