include Base.Polymorphic_compare_intf
Interfaces used for hiding and replacing polymorphic compare. Including a module with
interface S
should hide the majority of functions that use polymorphic compare.
module type Infix : sig ... end
module type S : sig ... end