module LocationSetLattice: sig .. end
sig
end
include Abstract_interp.Lattice_Set
val currentloc_singleton : unit -> t
unit -> t