BO__Polynomials.Degree
type t
val compare : t -> t -> int
val encode_to_int : t -> int
Encodes the complex type t to an integer that can be used for comparison.
t
val is_constant : t -> bool