sig
type t = private { l : Locations.location; offset : Ival.t; }
val bottom : Shifted_Location.t
val make : Locations.location -> Ival.t -> Shifted_Location.t
val equal : Shifted_Location.t -> Shifted_Location.t -> bool
val is_bottom : Shifted_Location.t -> bool
val pretty : Format.formatter -> Shifted_Location.t -> unit
val is_included : Shifted_Location.t -> Shifted_Location.t -> bool
end