Make.Itv
type t
type comparator_witness
val comparator : (t, comparator_witness) Base__Comparator.t
val contains : t -> t -> Ocamlformat_stdlib.bool
val compare_width_decreasing : t -> t -> Ocamlformat_stdlib.int