Up – Package index » Herdtools7 » Library herdtools7.asllib » Asllib » StaticInterpreter » Normalize » PolynomialOrdered

Module `Normalize.PolynomialOrdered`Source

Sourcetype t = polynomial

Sourceval compare : polynomial -> polynomial -> int