Module LogtkOrdering_intf (.ml)

module LogtkOrdering_intf: sig .. end
Partial ordering on terms

module type S = sig .. end