Module Ordering

module Ordering: sig .. end

include Core_kernel.Ordering