the barriers a control word's wait mask names (bit b: SB b)
632def sm86ControlWaitKeys =
633 (lambda unrestricted control : (family SM86Control) .
634 (eliminate SM86Control (lambda unrestricted current : (family SM86Control) . (family StdList Nat)) control
635 (branch SM86ControlValue stall yield write read wait reuse .
636 (nat-eliminate
637 (lambda unrestricted current : Nat . (family StdList Nat))
638 sm86NoRegisters
639 (lambda unrestricted bit : Nat . (lambda unrestricted induction : (family StdList Nat) .
640 (nat-eliminate
641 (lambda unrestricted current : Nat . (family StdList Nat))
642 induction
643 (lambda unrestricted set : Nat . (lambda unrestricted ignored : (family StdList Nat) .
644 (constructor StdList StdListCons Nat (naturalAdd 300 bit) induction)))
645 (nat-modulo (nat-divide (byte-to-nat wait) (naturalPowerOfTwo bit)) 2))))
646 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.