Module Base__.Comparable_intf
module type Infix = Base.Comparisons.Infixmodule type Polymorphic_compare = Base.Comparisons.Smodule type Validate = sig ... endmodule type With_zero = sig ... endmodule type S = sig ... endmodule type Comparable = sig ... end