Stable.Of_binable2
module V1 : functor (Binable : Minimal.S2) -> functor (M : sig ... end) -> S2 with type ('a, 'b) t := ('a, 'b) M.t