sig
  type t = private
      Invalid
    | Set of Integer.t list
    | Interval of Integer.t * Integer.t * Integer.t
    | Overlap of Integer.t * Integer.t * Origin.t
  val pretty : Tr_offset.t Pretty_utils.formatter
  val trim_by_validity :
    ?origin:Origin.t -> Ival.t -> Integer.t -> Base.validity -> Tr_offset.t
end