Versioned_v1.Fullmodule M : Intf.Input.Versioned_v1.Full_intfinclude Intf.Output.Versioned_v1.Full_intf
with type Stable.V1.t = M.Stable.V1.t
and type 'a Stable.V1.creator = 'a M.Stable.V1.creatormodule Stable : sig ... endtype t = Stable.Latest.t