the barriers a control word's wait mask names (bit b: SB b)
571def sm86ControlWaitKeys =
572 (lambda unrestricted control : (family SM86Control) .
573 (eliminate SM86Control (lambda unrestricted current : (family SM86Control) . (family StdList Nat)) control
574 (branch SM86ControlValue stall yield write read wait reuse .
575 (nat-eliminate
576 (lambda unrestricted current : Nat . (family StdList Nat))
577 sm86NoRegisters
578 (lambda unrestricted bit : Nat . (lambda unrestricted induction : (family StdList Nat) .
579 (nat-eliminate
580 (lambda unrestricted current : Nat . (family StdList Nat))
581 induction
582 (lambda unrestricted set : Nat . (lambda unrestricted ignored : (family StdList Nat) .
583 (constructor StdList StdListCons Nat (naturalAdd 300 bit) induction)))
584 (nat-modulo (nat-divide (byte-to-nat wait) (naturalPowerOfTwo bit)) 2))))
585 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.