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 -> bool * Tr_offset.t
end