Module Env.Logic_binding

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