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