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

Module `Stable_witness.Of_serializable3`Source

Parameters

module Stable_format : sig ... end

module M : sig ... end

Signature

Source

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.