Module Abstract_interp.LocationSetLattice


module LocationSetLattice: sig .. end

include Abstract_interp.Lattice_Set
val currentloc_singleton : unit -> t