Up – mina_base » Mina_base » Signed_command » PolyModule Signed_command.Poly type ('payload, 'pk, 'signature) t =
( 'payload , 'pk , 'signature ) Stable.Latest.t =
{ payload : 'payload ; signer : 'pk ; signature : 'signature ;
} val to_yojson :
( 'payload -> Yojson .Safe.t ) ->
( 'pk -> Yojson .Safe.t ) ->
( 'signature -> Yojson .Safe.t ) ->
( 'payload , 'pk , 'signature ) t ->
Yojson .Safe.tval of_yojson :
( Yojson .Safe.t -> 'payload Ppx_deriving_yojson_runtime .error_or ) ->
( Yojson .Safe.t -> 'pk Ppx_deriving_yojson_runtime .error_or ) ->
( Yojson .Safe.t -> 'signature Ppx_deriving_yojson_runtime .error_or ) ->
Yojson .Safe.t ->
( 'payload , 'pk , 'signature ) t Ppx_deriving_yojson_runtime .error_orinclude Ppx_sexp_conv_lib .Sexpable.S3
with type ('payload, 'pk, 'signature) t := ( 'payload , 'pk , 'signature ) t val t_of_sexp :
( Sexplib0__ .Sexp.t -> 'a ) ->
( Sexplib0__ .Sexp.t -> 'b ) ->
( Sexplib0__ .Sexp.t -> 'c ) ->
Sexplib0__ .Sexp.t ->
( 'a , 'b , 'c ) t val sexp_of_t :
( 'a -> Sexplib0__ .Sexp.t ) ->
( 'b -> Sexplib0__ .Sexp.t ) ->
( 'c -> Sexplib0__ .Sexp.t ) ->
( 'a , 'b , 'c ) t ->
Sexplib0__ .Sexp.tval hash_fold_t :
( Ppx_hash_lib .Std.Hash.state -> 'payload -> Ppx_hash_lib .Std.Hash.state ) ->
( Ppx_hash_lib .Std.Hash.state -> 'pk -> Ppx_hash_lib .Std.Hash.state ) ->
( Ppx_hash_lib .Std.Hash.state -> 'signature -> Ppx_hash_lib .Std.Hash.state ) ->
Ppx_hash_lib .Std.Hash.state ->
( 'payload , 'pk , 'signature ) t ->
Ppx_hash_lib .Std.Hash.stateval equal :
( 'payload -> 'payload -> bool ) ->
( 'pk -> 'pk -> bool ) ->
( 'signature -> 'signature -> bool ) ->
( 'payload , 'pk , 'signature ) t ->
( 'payload , 'pk , 'signature ) t ->
boolval compare :
( 'payload -> 'payload -> int ) ->
( 'pk -> 'pk -> int ) ->
( 'signature -> 'signature -> int ) ->
( 'payload , 'pk , 'signature ) t ->
( 'payload , 'pk , 'signature ) t ->
int