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