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