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