Module Stable_witness.Of_serializable3

Parameters

module Stable_format : sig ... end
module M : sig ... end

Signature

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.