Module Zkapp_statement.Poly
type 'comm t = 'comm Stable.Latest.t = {
account_update : 'comm; |
calls : 'comm; |
}
val to_yojson : 'comm. ( 'comm -> Yojson.Safe.t ) -> 'comm t -> Yojson.Safe.t
val of_yojson :
'comm. ( Yojson.Safe.t -> 'comm Ppx_deriving_yojson_runtime.error_or ) ->
Yojson.Safe.t ->
'comm t Ppx_deriving_yojson_runtime.error_or
val _ :
( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
Yojson.Safe.t ->
'a t Ppx_deriving_yojson_runtime.error_or
val to_hlist : 'comm t -> ( unit, 'comm -> 'comm -> unit ) H_list.t
val of_hlist : ( unit, 'comm -> 'comm -> unit ) H_list.t -> 'comm t
val t_of_sexp :
'comm. ( Ppx_sexp_conv_lib.Sexp.t -> 'comm ) ->
Ppx_sexp_conv_lib.Sexp.t ->
'comm t
val sexp_of_t :
'comm. ( 'comm -> Ppx_sexp_conv_lib.Sexp.t ) ->
'comm t ->
Ppx_sexp_conv_lib.Sexp.t
val to_field_elements : 'c t -> 'c0 array