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

Module `Normalize.MonomialOrdered`Source

Sourcetype t = monomial

Sourceval compare : monomial -> monomial -> int