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