Module Itv.ItvRange

type t
val to_top_lifted_polynomial : t -> Polynomials.NonNegativePolynomial.t