jon.recoil.org

Module Stable_witness.Of_serializable3Source

Parameters

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

Signature

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

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