module LocationLattice: sig .. end
sig
end
Lattice of source locations.
include Lattice_type.Lattice_Base
val current_loc : unit -> t
unit -> t