Zkapp_command_logic.Start_data
module Stable : sig ... end
type ('zkapp_command, 'field) t = ( 'zkapp_command, 'field ) Stable.Latest.t = {
zkapp_command : 'zkapp_command; |
memo_hash : 'field; |
}
val to_yojson :
'zkapp_command 'field. ( 'zkapp_command -> Yojson.Safe.t ) ->
( 'field -> Yojson.Safe.t ) ->
( 'zkapp_command, 'field ) t ->
Yojson.Safe.t
val of_yojson :
'zkapp_command 'field. ( Yojson.Safe.t ->
'zkapp_command Ppx_deriving_yojson_runtime.error_or ) ->
( Yojson.Safe.t -> 'field Ppx_deriving_yojson_runtime.error_or ) ->
Yojson.Safe.t ->
( 'zkapp_command, 'field ) t Ppx_deriving_yojson_runtime.error_or
val _ :
( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
( Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or ) ->
Yojson.Safe.t ->
( 'a, 'b ) t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp :
'zkapp_command 'field. ( Ppx_sexp_conv_lib.Sexp.t -> 'zkapp_command ) ->
( Ppx_sexp_conv_lib.Sexp.t -> 'field ) ->
Ppx_sexp_conv_lib.Sexp.t ->
( 'zkapp_command, 'field ) t
val sexp_of_t :
'zkapp_command 'field. ( 'zkapp_command -> Ppx_sexp_conv_lib.Sexp.t ) ->
( 'field -> Ppx_sexp_conv_lib.Sexp.t ) ->
( 'zkapp_command, 'field ) t ->
Ppx_sexp_conv_lib.Sexp.t