Module Zkapp_statement.Poly

module Stable : sig ... end
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