module LocationSetLattice: sig .. end
sig
end
include Lattice_type.Lattice_Set
val currentloc_singleton : unit -> t
unit -> t
val compare : t -> t -> int
t -> t -> int