module Env: sig .. end
sig
end
val clear : unit -> unit
unit -> unit
val add : Cil_types.logic_var -> Ival.t -> unit
Cil_types.logic_var -> Ival.t -> unit