module V1 : functor (Stable_format : sig ... end) -> functor (M : sig ... end) -> Core_kernel__.Stable_module_types.S0 with type t = M.t