Stable.Of_binable
module V1 : functor (Binable : Minimal.S) -> functor (M : sig ... end) -> S with type t := M.t