module type Applicative = Base.Applicative.Smodule type Binable = sig ... endmodule type Comparable = Comparable.Smodule type Comparable_binable = Comparable.S_binablemodule type Floatable = Base.Floatable.Smodule type Hashable = Hashable.Smodule type Hashable_binable = Hashable.S_binablemodule type Identifiable = Identifiable.Smodule type Infix_comparators = Comparable.Infixmodule type Intable = Base.Intable.Smodule type Monad = Base.Monad.Smodule type Quickcheckable = Quickcheckable.Smodule type Robustly_comparable = Robustly_comparable.Smodule type Sexpable = Sexpable.Smodule type Stable = sig ... endmodule type Stable_int63able = sig ... endmodule type Stable_without_comparator = sig ... endmodule type Stable1 = sig ... endmodule type Stable2 = sig ... endmodule type Stable3 = sig ... endmodule type Stable4 = sig ... endmodule type Stringable = Base.Stringable.S