Module Robustly_comparable

module Robustly_comparable: sig .. end

include Core_kernel.Robustly_comparable