1-Inputs.Local_state
type t = ( Stack_frame.t, Call_stack.t, Token_id.t, Amount.Signed.t, Ledger.t, Bool.t, Transaction_commitment.t, Index.t, Bool.failure_status_tbl ) Local_state.t
val add_check : t -> Mina_base.Transaction_status.Failure.t -> Bool.t -> t
val update_failure_status_tbl : t -> Bool.failure_status -> Bool.t -> t
val add_new_failure_status_bucket : t -> t