module LSVar: sig .. end
with type elm = LSet.t
include LUNVar.S
val lower_one_element : ?nothing:(unit -> unit) ->
?exact:(Location.Loc.t -> unit) -> ?tomuch:(unit -> unit) -> t -> unit
val lower_iter : (Location.Loc.t -> unit) -> t -> unit
val upper_iter : (Location.Loc.t -> unit) -> t -> unit
val is_one_possible : t -> bool
val equal_possible : t -> t -> bool
val equal_possible_lset : t -> Location.LSet.t -> bool
val subset_possible : t -> t -> bool
val subset_possible_lset : t -> Location.LSet.t -> bool
val choose_lower : t -> Location.Loc.t option
val set_upper_for_all : Location.LSet.t -> unit