module V1 : functor (Stable_format : sig ... end) -> functor (M : sig ... end) -> Core_kernel__.Stable_module_types.S2 with type ('a1, 'a2) t = ('a1, 'a2) M.t