Module BO__Polynomials.NonNegativeNonTopPolynomial
val polynomial_traces : ?is_autoreleasepool_trace:bool -> t -> (string * Absint.Errlog.loc_trace) list
BO__Polynomials.NonNegativeNonTopPolynomialval polynomial_traces : ?is_autoreleasepool_trace:bool -> t -> (string * Absint.Errlog.loc_trace) list