Local_state (mina_transaction_logic.Mina_transaction_logic.Zkapp_command_logic.Local

module Stable : sig ... end

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 )
    Stable.Latest.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 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

val typ : 
  ( 'a,
    'b,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( 'c,
    'd,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( 'e,
    'f,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( 'g,
    'h,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( 'i,
    'j,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( 'k,
    'l,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( 'm,
    'n,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( 'o,
    'p,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( 'q,
    'r,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( 's,
    't,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( ( 'u, 'v, 'w, 'x, 'y, 'z, 'a1, 'b1, 'c1 ) t,
    ( 'd1, 'e1, 'f1, 'g1, 'h1, 'i1, 'j1, 'k1, 'l1 ) t )
    Pickles.Impls.Step.Typ.t

module Value : sig ... end

module Checked : sig ... end