Checked (mina_state.Mina_state.Local

include module type of struct include Mina_transaction_logic.Zkapp_command_logic.Local_state.Checked end

type t =
  ( Mina_base.Stack_frame.Digest.Checked.t,
    Mina_base.Call_stack_digest.Checked.t,
    Mina_base.Token_id.Checked.t,
    Currency.Amount.Signed.Checked.t,
    Mina_base.Ledger_hash.var,
    Pickles.Impls.Step.Boolean.var,
    Mina_base.Zkapp_command.Transaction_commitment.Checked.t,
    Mina_numbers.Index.Checked.t,
    unit )
    Mina_transaction_logic.Zkapp_command_logic.Local_state.Stable.Latest.t

val assert_equal : t -> t -> unit

val equal' : t -> t -> Impl.Impl.Boolean.var list

val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t