Stable_witness.Of_serializable3
module Stable_format : sig ... end
module M : sig ... end
val of_serializable :
('a1 t -> 'a2 t -> 'a3 t -> ('a1, 'a2, 'a3) Stable_format.t t) ->
(('a1, 'a2, 'a3) Stable_format.t -> ('a1, 'a2, 'a3) M.t) ->
(('a1, 'a2, 'a3) M.t -> ('a1, 'a2, 'a3) Stable_format.t) ->
'a1 t ->
'a2 t ->
'a3 t ->
('a1, 'a2, 'a3) M.t t
This is the analogue of of_serializable
for types with 3 type parameters.