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