Module Term.Ordered_termSource

Sourcetype t = term
Sourceval compare : term -> term -> int