inductive StateQueue.Machine.Err : Type

• TKNUnkwown : Tokens.Elem.TId → Err
• RemovingRoot : Err
• NoUpperBound : Err
• NoLowerBound : Err
• BlockNotMature : Err
• BadRoot : Tokens.Elem.TId → Err
• BadNodeId : Tokens.Elem.TId → Err
• GenericErr : Err
• OpsDirErr : OperatorDirectory.StateMachine.Err → Err
• HetListErr : MUList.Computation.Err → Err
• FraudulentCondition : Err
• RetiringCondition : Err
• CommitCondition : Err
• NoKeyActive : Err
• BadProof : Tokens.Elem.TId → Err

def StateQueue.Machine.instReprErr.repr : Err → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

instance StateQueue.Machine.instReprErr : Repr Err

Equations

• StateQueue.Machine.instReprErr = { reprPrec := StateQueue.Machine.instReprErr.repr }

def StateQueue.Machine.next (p : MidgardParameters) (sch : Scheduler.State.SchedulerDatum) (proofs : FraudProofTokens.State.FraudProofTokens) (i : InputInfo) (a : State.Actions) (s : State.StateQueue) : ComputationResult Err State.StateQueue

Equations

• One or more equations did not get rendered due to their size.