Module `Local_state.Checked`

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