Module BO__Itv.ItvRange

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