Module Origin.LocationLattice

module LocationLattice: sig .. end

Lattice of source locations.


include Lattice_type.Lattice_Base
val current_loc : unit -> t