module Polymorphic_compare_intf: sig .. end
sig
end
S
module type Infix = sig .. end
module type S = sig .. end