Module Stable_witness.Of_serializable2

Parameters

module Stable_format : T2
module M : T2

Signature

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.