the barriers a control word's wait mask names (bit b: SB b)
618def sm86ControlWaitKeys =
619 (lambda unrestricted control : (family SM86Control) .
620 (eliminate SM86Control (lambda unrestricted current : (family SM86Control) . (family StdList Nat)) control
621 (branch SM86ControlValue stall yield write read wait reuse .
622 (nat-eliminate
623 (lambda unrestricted current : Nat . (family StdList Nat))
624 sm86NoRegisters
625 (lambda unrestricted bit : Nat . (lambda unrestricted induction : (family StdList Nat) .
626 (nat-eliminate
627 (lambda unrestricted current : Nat . (family StdList Nat))
628 induction
629 (lambda unrestricted set : Nat . (lambda unrestricted ignored : (family StdList Nat) .
630 (constructor StdList StdListCons Nat (naturalAdd 300 bit) induction)))
631 (nat-modulo (nat-divide (byte-to-nat wait) (naturalPowerOfTwo bit)) 2))))
632 6))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.