Module Logtk.Ordering_intf (.ml)

module Ordering_intf: LogtkOrdering_intf

module type S = sig .. end