Module Core_kernel__.Binable0.Stable.Of_binable1

module V1 : functor (Binable : S1) -> functor (M : sig ... end) -> S1 with type t := a M.t