Zkapp_command_segment_witness (transaction_witness.Transaction_witness.Zkapp_command_segment

module Stable : sig ... end

type t = Stable.Latest.t = {

global_ledger : Mina_ledger.Sparse_ledger.t;

local_state_init : ( ( Mina_base.Token_id.t,
                       Mina_base.Zkapp_command.Call_forest.With_hashes.t )
                       Mina_base.Stack_frame.t,
                     ( ( ( Mina_base.Token_id.t,
                           Mina_base.Zkapp_command.Call_forest.With_hashes.t )
                           Mina_base.Stack_frame.t,
                         Mina_base.Stack_frame.Digest.t )
                         With_hash.t,
                       Mina_base.Call_stack_digest.t )
                       Mina_base.With_stack_hash.t
                       list,
                     Mina_base.Token_id.t,
                     ( Currency.Amount.t, Sgn.t ) Currency.Signed_poly.t,
                     Mina_ledger.Sparse_ledger.t,
                     bool,
                     Kimchi_backend.Pasta.Basic.Fp.t,
                     Mina_numbers.Index.t,
                     Mina_base.Transaction_status.Failure.Collection.t )
                     Mina_transaction_logic.Zkapp_command_logic.Local_state.t;

start_zkapp_command : ( Mina_base.Zkapp_command.t,
                        Kimchi_backend.Pasta.Basic.Fp.t )
                        Mina_transaction_logic.Zkapp_command_logic.Start_data.t
                        list;

state_body : Mina_state.Protocol_state.Body.Value.t;

init_stack : Mina_base.Pending_coinbase.Stack_versioned.t;

}

val to_yojson : t -> Yojson.Safe.t

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t