Module `Stable_witness.Of_serializable2`Source

Parameters

module Stable_format : Stable_witness.T2

module M : Stable_witness.T2

Signature

val of_serializable : 
  ('a1 Stable_witness.t ->
    'a2 Stable_witness.t ->
    ('a1, 'a2) Stable_format.t Stable_witness.t) ->
  (('a1, 'a2) Stable_format.t -> ('a1, 'a2) M.t) ->
  (('a1, 'a2) M.t -> ('a1, 'a2) Stable_format.t) ->
  'a1 Stable_witness.t ->
  'a2 Stable_witness.t ->
  ('a1, 'a2) M.t Stable_witness.t @@ portable

This is the analogue of of_serializable for types with 2 type parameters.