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