Module Stable_module_types

module Stable_module_types: sig .. end

The polymorphic signatures require a mapping function so people can write conversion functions without either (1) re-implementing the mapping function inline or (2) reaching into the unstable part of the module.

module type S0 = sig .. end

module type S1 = sig .. end

module type S2 = sig .. end