V1 (mina_transaction_logic.Mina_transaction_logic.Zkapp_command_logic.Local

type ('stack_frame, 'call_stack, 'token_id, 'signed_amount, 'ledger, 'bool, 'comm, 'length, 'failure_status_tbl)
  t =
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    Mina_wire_types.Mina_transaction_logic.Zkapp_command_logic.Local_state.V1.t =
  {

stack_frame : 'stack_frame;

call_stack : 'call_stack;

transaction_commitment : 'comm;

full_transaction_commitment : 'comm;

token_id : 'token_id;

excess : 'signed_amount;

supply_increase : 'signed_amount;

ledger : 'ledger;

success : 'bool;

account_update_index : 'length;

failure_status_tbl : 'failure_status_tbl;

}

val to_yojson : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  ( 'stack_frame ->
    Yojson.Safe.t ) ->
  ( 'call_stack -> Yojson.Safe.t ) ->
  ( 'token_id -> Yojson.Safe.t ) ->
  ( 'signed_amount -> Yojson.Safe.t ) ->
  ( 'ledger -> Yojson.Safe.t ) ->
  ( 'bool -> Yojson.Safe.t ) ->
  ( 'comm -> Yojson.Safe.t ) ->
  ( 'length -> Yojson.Safe.t ) ->
  ( 'failure_status_tbl -> Yojson.Safe.t ) ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t ->
  Yojson.Safe.t

val of_yojson : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  ( Yojson.Safe.t ->
    'stack_frame Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'call_stack Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'token_id Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'signed_amount Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'ledger Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'bool Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'comm Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'length Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'failure_status_tbl Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    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 -> 'c Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'd Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'e Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'f Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'g Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'h Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'i Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t Ppx_deriving_yojson_runtime.error_or

val bin_shape_t : 
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t

val bin_size_t : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  'stack_frame Core_kernel.Bin_prot.Size.sizer ->
  'call_stack Core_kernel.Bin_prot.Size.sizer ->
  'token_id Core_kernel.Bin_prot.Size.sizer ->
  'signed_amount Core_kernel.Bin_prot.Size.sizer ->
  'ledger Core_kernel.Bin_prot.Size.sizer ->
  'bool Core_kernel.Bin_prot.Size.sizer ->
  'comm Core_kernel.Bin_prot.Size.sizer ->
  'length Core_kernel.Bin_prot.Size.sizer ->
  'failure_status_tbl Core_kernel.Bin_prot.Size.sizer ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t
    Core_kernel.Bin_prot.Size.sizer

val bin_write_t : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  'stack_frame Core_kernel.Bin_prot.Write.writer ->
  'call_stack Core_kernel.Bin_prot.Write.writer ->
  'token_id Core_kernel.Bin_prot.Write.writer ->
  'signed_amount Core_kernel.Bin_prot.Write.writer ->
  'ledger Core_kernel.Bin_prot.Write.writer ->
  'bool Core_kernel.Bin_prot.Write.writer ->
  'comm Core_kernel.Bin_prot.Write.writer ->
  'length Core_kernel.Bin_prot.Write.writer ->
  'failure_status_tbl Core_kernel.Bin_prot.Write.writer ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t
    Core_kernel.Bin_prot.Write.writer

val bin_writer_t : 
  'a Core_kernel.Bin_prot.Type_class.writer ->
  'b Core_kernel.Bin_prot.Type_class.writer ->
  'c Core_kernel.Bin_prot.Type_class.writer ->
  'd Core_kernel.Bin_prot.Type_class.writer ->
  'e Core_kernel.Bin_prot.Type_class.writer ->
  'f Core_kernel.Bin_prot.Type_class.writer ->
  'g Core_kernel.Bin_prot.Type_class.writer ->
  'h Core_kernel.Bin_prot.Type_class.writer ->
  'i Core_kernel.Bin_prot.Type_class.writer ->
  ( 'j, 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r ) t
    Core_kernel.Bin_prot.Type_class.writer

val __bin_read_t__ : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  'stack_frame Core_kernel.Bin_prot.Read.reader ->
  'call_stack Core_kernel.Bin_prot.Read.reader ->
  'token_id Core_kernel.Bin_prot.Read.reader ->
  'signed_amount Core_kernel.Bin_prot.Read.reader ->
  'ledger Core_kernel.Bin_prot.Read.reader ->
  'bool Core_kernel.Bin_prot.Read.reader ->
  'comm Core_kernel.Bin_prot.Read.reader ->
  'length Core_kernel.Bin_prot.Read.reader ->
  'failure_status_tbl Core_kernel.Bin_prot.Read.reader ->
  ( int ->
    ( 'stack_frame,
      'call_stack,
      'token_id,
      'signed_amount,
      'ledger,
      'bool,
      'comm,
      'length,
      'failure_status_tbl )
      t )
    Core_kernel.Bin_prot.Read.reader

val bin_read_t : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  'stack_frame Core_kernel.Bin_prot.Read.reader ->
  'call_stack Core_kernel.Bin_prot.Read.reader ->
  'token_id Core_kernel.Bin_prot.Read.reader ->
  'signed_amount Core_kernel.Bin_prot.Read.reader ->
  'ledger Core_kernel.Bin_prot.Read.reader ->
  'bool Core_kernel.Bin_prot.Read.reader ->
  'comm Core_kernel.Bin_prot.Read.reader ->
  'length Core_kernel.Bin_prot.Read.reader ->
  'failure_status_tbl Core_kernel.Bin_prot.Read.reader ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t
    Core_kernel.Bin_prot.Read.reader

val bin_reader_t : 
  'a Core_kernel.Bin_prot.Type_class.reader ->
  'b Core_kernel.Bin_prot.Type_class.reader ->
  'c Core_kernel.Bin_prot.Type_class.reader ->
  'd Core_kernel.Bin_prot.Type_class.reader ->
  'e Core_kernel.Bin_prot.Type_class.reader ->
  'f Core_kernel.Bin_prot.Type_class.reader ->
  'g Core_kernel.Bin_prot.Type_class.reader ->
  'h Core_kernel.Bin_prot.Type_class.reader ->
  'i Core_kernel.Bin_prot.Type_class.reader ->
  ( 'j, 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r ) t
    Core_kernel.Bin_prot.Type_class.reader

val bin_t : 
  'a Core_kernel.Bin_prot.Type_class.t ->
  'b Core_kernel.Bin_prot.Type_class.t ->
  'c Core_kernel.Bin_prot.Type_class.t ->
  'd Core_kernel.Bin_prot.Type_class.t ->
  'e Core_kernel.Bin_prot.Type_class.t ->
  'f Core_kernel.Bin_prot.Type_class.t ->
  'g Core_kernel.Bin_prot.Type_class.t ->
  'h Core_kernel.Bin_prot.Type_class.t ->
  'i Core_kernel.Bin_prot.Type_class.t ->
  ( 'j, 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r ) t Core_kernel.Bin_prot.Type_class.t

val version : int

val __versioned__ : unit

val compare : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  ( 'stack_frame ->
    'stack_frame ->
    int ) ->
  ( 'call_stack -> 'call_stack -> int ) ->
  ( 'token_id -> 'token_id -> int ) ->
  ( 'signed_amount -> 'signed_amount -> int ) ->
  ( 'ledger -> 'ledger -> int ) ->
  ( 'bool -> 'bool -> int ) ->
  ( 'comm -> 'comm -> int ) ->
  ( 'length -> 'length -> int ) ->
  ( 'failure_status_tbl -> 'failure_status_tbl -> int ) ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t ->
  int

val equal : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  ( 'stack_frame ->
    'stack_frame ->
    bool ) ->
  ( 'call_stack -> 'call_stack -> bool ) ->
  ( 'token_id -> 'token_id -> bool ) ->
  ( 'signed_amount -> 'signed_amount -> bool ) ->
  ( 'ledger -> 'ledger -> bool ) ->
  ( 'bool -> 'bool -> bool ) ->
  ( 'comm -> 'comm -> bool ) ->
  ( 'length -> 'length -> bool ) ->
  ( 'failure_status_tbl -> 'failure_status_tbl -> bool ) ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t ->
  bool

val hash_fold_t : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  ( Ppx_hash_lib.Std.Hash.state ->
    'stack_frame ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'call_stack -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'token_id -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'signed_amount ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'ledger -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'bool -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'comm -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'length -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'failure_status_tbl ->
    Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t ->
  Ppx_hash_lib.Std.Hash.state

val t_of_sexp : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  ( Ppx_sexp_conv_lib.Sexp.t ->
    'stack_frame ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'call_stack ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'token_id ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'signed_amount ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'ledger ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'bool ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'comm ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'length ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'failure_status_tbl ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t

val sexp_of_t : 
  'stack_frame 'call_stack 'token_id 'signed_amount 'ledger 'bool 'comm 'length 'failure_status_tbl. 
  ( 'stack_frame ->
    Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'call_stack -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'token_id -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'signed_amount -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'ledger -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'bool -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'comm -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'length -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'failure_status_tbl -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t ->
  Ppx_sexp_conv_lib.Sexp.t

val failure_status_tbl : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t -> 'j

val account_update_index : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t -> 'j

val success : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t -> 'j

val ledger : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t -> 'j

val supply_increase : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t -> 'j

val excess : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t -> 'j

val token_id : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t -> 'j

val full_transaction_commitment : 
  ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t ->
  'j

val transaction_commitment : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t -> 'j

val call_stack : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t -> 'j

val stack_frame : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t -> 'j

module Fields : sig ... end

val to_hlist : 
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t ->
  ( unit,
    'stack_frame ->
    'call_stack ->
    'comm ->
    'comm ->
    'token_id ->
    'signed_amount ->
    'signed_amount ->
    'ledger ->
    'bool ->
    'length ->
    'failure_status_tbl ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    'stack_frame ->
    'call_stack ->
    'comm ->
    'comm ->
    'token_id ->
    'signed_amount ->
    'signed_amount ->
    'ledger ->
    'bool ->
    'length ->
    'failure_status_tbl ->
    unit )
    H_list.t ->
  ( 'stack_frame,
    'call_stack,
    'token_id,
    'signed_amount,
    'ledger,
    'bool,
    'comm,
    'length,
    'failure_status_tbl )
    t