BO.Polynomials
module DegreeKind : sig ... end
module Degree : sig ... end
module NonNegativeNonTopPolynomial : sig ... end
module TopTraces : sig ... end
module UnreachableTraces : sig ... end
module NonNegativePolynomial : sig ... end