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 trim_by_validity :
?origin:Origin.t ->
Ival.t -> Integer.t -> Base.validity -> bool * Tr_offset.t
end