Stable_witness.Of_serializable2
module Stable_format : T2
val of_serializable :
('a1 t -> 'a2 t -> ('a1, 'a2) Stable_format.t t) ->
(('a1, 'a2) Stable_format.t -> ('a1, 'a2) M.t) ->
(('a1, 'a2) M.t -> ('a1, 'a2) Stable_format.t) ->
'a1 t ->
'a2 t ->
('a1, 'a2) M.t t
This is the analogue of of_serializable
for types with 2 type parameters.