Up – Package index » ppx_stable_witness » Library ppx_stable_witness.stable_witness » Stable_witness » Of_serializable2

Module `Stable_witness.Of_serializable2`Source

Parameters

module Stable_format : T2

module M : T2

Signature

Source

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.