Module Account_update.Account_precondition

module Stable : sig ... end
type t = Stable.Latest.t =
| Full of Zkapp_precondition.Account.t
| Nonce of Account.Nonce.t
| Accept
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val equal : t -> t -> bool
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val compare : t -> t -> int
val gen : t Core_kernel.Quickcheck.Generator.t
module Tag : sig ... end
val tag : t -> Tag.t
val deriver : ( Zkapp_precondition.Account.t, ( Zkapp_precondition.Account.t, ( ( ( Zkapp_precondition.Account.t, ( Zkapp_precondition.Account.t, ( Zkapp_precondition.Account.t, ( ( Zkapp_precondition.Account.t, ( Zkapp_precondition.Account.t, ( Zkapp_precondition.Account.t, ( < contramap : ( t -> Zkapp_precondition.Account.t ) Core_kernel.ref ; graphql_arg : ( unit -> Zkapp_precondition.Account.t Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; graphql_arg_accumulator : Zkapp_precondition.Account.t Fields_derivers_zkapps.Graphql.Args.Acc.T.t Core_kernel.ref ; graphql_fields : Zkapp_precondition.Account.t Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_fields_accumulator : Zkapp_precondition.Account.t Fields_derivers_zkapps.Graphql.Fields.Accumulator.T.t list Core_kernel.ref ; graphql_query : string option Core_kernel.ref ; js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref ; map : ( Zkapp_precondition.Account.t -> t ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> 'b Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : Zkapp_precondition.Account.t option Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( Yojson.Safe.t -> Zkapp_precondition.Account.t ) Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( Zkapp_precondition.Account.t -> Yojson.Safe.t ) Core_kernel.ref.. > as 'a Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, t, Zkapp_precondition.Account.t, 'b ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, t, Zkapp_precondition.Account.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, t ) Fields_derivers_json.Of_yojson.Input.t, t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, t, Zkapp_precondition.Account.t, 'b ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, t, Zkapp_precondition.Account.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, t ) Fields_derivers_json.Of_yojson.Input.t, t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t, t, Zkapp_precondition.Account.t, 'b ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, t, Zkapp_precondition.Account.t, 'b ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, t, Zkapp_precondition.Account.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, t, Zkapp_precondition.Account.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t -> ( Zkapp_precondition.Account.t, ( Zkapp_precondition.Account.t, ( Zkapp_precondition.Account.t, ( 'c Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, t, Zkapp_precondition.Account.t, 'b ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, t, Zkapp_precondition.Account.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, t ) Fields_derivers_json.Of_yojson.Input.t, t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t
val digest : t -> Random_oracle.Digest.t
module Checked : sig ... end