module LocationLattice: sig .. end
sig
end
include Lattice_type.Lattice_Base
val current_loc : unit -> t
unit -> t