inductive Settlement.Machine.Err : Type

• UnknownSettlement (t : Tokens.Elem.TId) : Err
• EmptyResolutionClaim : Err
• InfLowerBound : Err
• InfUpperBound : Err
• ImpossibleBurn : Err
• ImpossibleUpdate : Err
• ImpossibleDisprove : Err
• RemoveConditions : Err
• UpdateConditions : Err
• DisproveConditions : Err

def Settlement.Machine.next (i : InputInfo) (sch : Scheduler.State.SchedulerDatum) (sett : State.SettlementSt) (a : State.Actions) : ComputationResult Err State.SettlementSt

Equations

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