Module Env.Logic_binding

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