Zkapp_command (mina_base.Mina_base.Zkapp

val add_caller : Account_update.Wire.t -> Token_id.t -> Account_update.t

val add_caller_simple : 
  Account_update.Simple.t ->
  Token_id.t ->
  Account_update.t

module Call_forest : sig ... end

module Graphql_repr : sig ... end

module Simple : sig ... end

module Digest = Call_forest.Digest

module T : sig ... end

include module type of struct include T end

module Stable = T.Stable

type t = Stable.Latest.t = {

fee_payer : Account_update.Fee_payer.t;

account_updates : ( Account_update.t,
                    Digest.Account_update.t,
                    Digest.Forest.t )
                    Call_forest.t;

memo : Signed_command_memo.t;

}

val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val t_fields_annots : string -> (string * string option) list

val t_toplevel_annots : unit -> (string * string option) list

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val compare : t -> t -> int

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 memo : t -> Signed_command_memo.t

val account_updates : 
  t ->
  ( Account_update.t, Digest.Account_update.t, Digest.Forest.t ) Call_forest.t

module Fields = T.Fields

val of_wire : Stable.Latest.Wire.t -> Stable.Latest.t

val to_wire : Stable.Latest.t -> Stable.Latest.Wire.t

val of_simple : Simple.t -> t

val to_simple : t -> Simple.t

val zkapp_command : 
  t ->
  ( Account_update.t,
    Call_forest.Digest.Account_update.t,
    Call_forest.Digest.Forest.t )
    Call_forest.t

val fee : t -> Currency.Fee.t

val fee_payer_account_update : t -> Account_update.Fee_payer.t

val applicable_at_nonce : t -> Account.Nonce.t

val target_nonce_on_success : t -> Account.Nonce.t

val nonce_increments : t -> int Signature_lib.Public_key.Compressed.Map.t

val fee_token : t -> Account_id.Digest.t

val fee_payer : t -> Account_id.t

val account_updates_list : t -> Account_update.t list

val zkapp_command_list : t -> Account_update.t list

val fee_excess : 
  t ->
  ( Account_id.Digest.t, Currency.Fee.Signed.t ) Fee_excess.poly

val accounts_accessed : 
  t ->
  Transaction_status.t ->
  Account_id.t Core_kernel.List.t

val accounts_referenced : t -> Account_id.t Core_kernel.List.t

val fee_payer_pk : t -> Signature_lib.Public_key.Compressed.t

val value_if : bool -> then_:'a -> else_:'b -> 'c

module Virtual : sig ... end

val check_authorization : Account_update.t -> unit Core_kernel.Or_error.t

module Verifiable : sig ... end

val of_verifiable : Verifiable.t -> t

module Transaction_commitment : sig ... end

val account_updates_hash : t -> Call_forest.Digest.Forest.t

val commitment : t -> Transaction_commitment.t

module Weight : sig ... end

This module defines weights for each component of a `Zkapp_command.t` element.

val weight : t -> int

module type Valid_intf = sig ... end

module Valid : 
  Valid_intf
    with type Stable.V1.t = Mina_wire_types.Mina_base.Zkapp_command.Valid.V1.t

val of_yojson : 
  Yojson.Safe.t ->
  Stable.Latest.t Ppx_deriving_yojson_runtime.error_or

val to_yojson : Stable.Latest.t -> Yojson.Safe.t

val to_base64 : Stable.Latest.With_top_version_tag.t -> string

val of_base64 : 
  string ->
  Stable.Latest.With_top_version_tag.t Core_kernel.Or_error.t

type account_updates =
  ( Account_update.t, Digest.Account_update.t, Digest.Forest.t ) Call_forest.t

val account_updates_deriver : 
  ( Account_update.Graphql_repr.t list,
    ( Account_update.Graphql_repr.t list,
      ( ( ( Account_update.Graphql_repr.t list,
            ( Account_update.Graphql_repr.t list,
              ( Account_update.Graphql_repr.t list,
                ( ( Account_update.Graphql_repr.t list,
                    ( Account_update.Graphql_repr.t list,
                      ( Account_update.Graphql_repr.t list,
                        ( < contramap : 
                            ( account_updates ->
                              Account_update.Graphql_repr.t list )
                              Core_kernel.ref
                            ; graphql_arg : 
                              ( unit ->
                                Account_update.Graphql_repr.t list
                                  Fields_derivers_graphql.Schema.Arg.arg_typ )
                                Core_kernel.ref
                            ; graphql_arg_accumulator : 
                              Account_update.Graphql_repr.t
                                Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.T.t
                                Core_kernel.ref
                            ; graphql_fields : 
                              Account_update.Graphql_repr.t list
                                Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t
                                Core_kernel.ref
                            ; graphql_fields_accumulator : 
                              Account_update.Graphql_repr.t
                                Fields_derivers_zkapps.Derivers.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 : 
                              ( Account_update.Graphql_repr.t list ->
                                account_updates )
                                Core_kernel.ref
                            ; nullable_graphql_arg : 
                              ( unit ->
                                Account_update.Graphql_repr.t list option
                                  Fields_derivers_graphql.Schema.Arg.arg_typ )
                                Core_kernel.ref
                            ; nullable_graphql_fields : 
                              Account_update.Graphql_repr.t list option
                                Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t
                                Core_kernel.ref
                            ; of_json : 
                              ( Yojson.Safe.t ->
                                Account_update.Graphql_repr.t list )
                                Core_kernel.ref
                            ; skip : bool Core_kernel.ref
                            ; to_json : 
                              ( Account_update.Graphql_repr.t list ->
                                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,
                          account_updates,
                          Account_update.Graphql_repr.t list,
                          Account_update.Graphql_repr.t list option )
                          Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t,
                        account_updates,
                        Account_update.Graphql_repr.t list option )
                        Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t,
                      account_updates )
                      Fields_derivers_json.Of_yojson.Input.t,
                    account_updates )
                    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,
                  account_updates,
                  Account_update.Graphql_repr.t list,
                  Account_update.Graphql_repr.t list option )
                  Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t,
                account_updates,
                Account_update.Graphql_repr.t list option )
                Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t,
              account_updates )
              Fields_derivers_json.Of_yojson.Input.t,
            account_updates )
            Fields_derivers_json.To_yojson.Input.t
            Fields_derivers_zkapps.Derivers.Unified_input.t,
          account_updates,
          Account_update.Graphql_repr.t list,
          Account_update.Graphql_repr.t list option )
          Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t,
        account_updates,
        Account_update.Graphql_repr.t list,
        Account_update.Graphql_repr.t list option )
        Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t,
      account_updates,
      Account_update.Graphql_repr.t list option )
      Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t,
    account_updates,
    Account_update.Graphql_repr.t list option )
    Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t ->
  ( Account_update.Graphql_repr.t list,
    ( Account_update.Graphql_repr.t list,
      ( Account_update.Graphql_repr.t list,
        ( 'b Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
            Fields_derivers_graphql.Graphql_query.Input.t,
          account_updates,
          Account_update.Graphql_repr.t list,
          Account_update.Graphql_repr.t list option )
          Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t,
        account_updates,
        Account_update.Graphql_repr.t list option )
        Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t,
      account_updates )
      Fields_derivers_json.Of_yojson.Input.t,
    account_updates )
    Fields_derivers_json.To_yojson.Input.t
    Fields_derivers_zkapps.Derivers.Unified_input.t

val deriver : 
  ( T.t,
    ( ( < contramap : ( T.t -> T.t ) Core_kernel.ref
        ; graphql_arg : 
          ( unit ->
            T.t Fields_derivers_graphql.Schema.Arg.arg_typ )
            Core_kernel.ref
        ; graphql_arg_accumulator : 
          T.t Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.T.t
            Core_kernel.ref
        ; graphql_creator : 
          ( ( ( 'b, T.t, T.t, 'c )
                Fields_derivers_zkapps.Derivers.Graphql.Args.Output.t,
              T.t,
              T.t,
              'c )
              Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t ->
            T.t )
            Core_kernel.ref
        ; graphql_fields : 
          T.t Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t
            Core_kernel.ref
        ; graphql_fields_accumulator : 
          T.t Fields_derivers_zkapps.Derivers.Graphql.Fields.Accumulator.T.t
            list
            Core_kernel.ref
        ; graphql_query : string option Core_kernel.ref
        ; graphql_query_accumulator : 
          (Core_kernel.String.t * string option) option list Core_kernel.ref
        ; js_layout : 
          [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref
        ; js_layout_accumulator : 
          Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.field
            option
            list
            Core_kernel.ref
        ; map : ( T.t -> T.t ) Core_kernel.ref
        ; nullable_graphql_arg : 
          ( unit ->
            'c Fields_derivers_graphql.Schema.Arg.arg_typ )
            Core_kernel.ref
        ; nullable_graphql_fields : 
          T.t option Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t
            Core_kernel.ref
        ; of_json : 
          ( [> `Assoc of (Core_kernel.String.Map.Key.t * Yojson.Safe.t) list ] ->
            T.t )
            Core_kernel.ref
        ; of_json_creator : 
          Yojson.Safe.t Core_kernel.String.Map.t Core_kernel.ref
        ; skip : bool Core_kernel.ref
        ; to_json : 
          ( T.t ->
            [> `Assoc of (Core_kernel.String.t * Yojson.Safe.t) list ] )
            Core_kernel.ref
        ; to_json_accumulator : 
          (Core_kernel.String.t * ( T.t -> Yojson.Safe.t )) option list
            Core_kernel.ref.. > as 'a,
        T.t,
        T.t,
        'c )
        Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t,
      T.t,
      T.t,
      'd )
      Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.t,
    T.t,
    T.t option )
    Fields_derivers_zkapps.Derivers.Graphql.Fields.Accumulator.t ->
  ( T.t,
    ( 'a, T.t, T.t, 'c ) Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.t,
    T.t,
    T.t option )
    Fields_derivers_zkapps.Derivers.Graphql.Fields.Accumulator.t

val arg_typ : unit -> T.t Fields_derivers_graphql.Schema.Arg.arg_typ

val typ : unit -> ( 'a, T.t ) Fields_derivers_graphql.Schema.typ

val to_json : T.t -> [> `Assoc of (Core_kernel.String.t * Yojson.Safe.t) list ]

val of_json : 
  [> `Assoc of (Core_kernel.String.Map.Key.t * Yojson.Safe.t) list ] ->
  T.t

val account_updates_of_json : 
  Yojson.Safe.t ->
  Account_update.Graphql_repr.t list

val zkapp_command_to_json : 
  T.t ->
  [> `Assoc of (Core_kernel.String.t * Yojson.Safe.t) list ]

val arg_query_string : T.t -> string

val dummy : t

module Make_update_group (Input : sig ... end) : sig ... end

type possible_segments =

| Proved

| Signed_single

| Signed_pair

module Update_group : sig ... end

val valid_size : 
  genesis_constants:Genesis_constants.t ->
  t ->
  unit Core_kernel.Or_error.t

val inner_query : string lazy_t