Module Shifted_Location


module Shifted_Location: sig .. end


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