each register of `registers` pending from `time` with `class`, or (for a
variable-latency writer, timed by a scoreboard) no longer pending
1730def sm121LowerPendingWrite =
1731 (lambda unrestricted pending : (family SM121LowerPending) .
1732 (lambda unrestricted registers : (family SM121LowerRegisters) .
1733 (lambda unrestricted time : Nat .
1734 (lambda unrestricted class : (family SM121LowerClass) .
1735 (lambda unrestricted fixed : Nat .
1736 (eliminate
1737 SM121LowerRegisters
1738 (lambda unrestricted current : (family SM121LowerRegisters) . (family SM121LowerPending))
1739 registers
1740 (branch SM121LowerRegistersEnd . pending)
1741 (branch SM121LowerRegistersNext head tail induction .
1742 (sm121LowerSelect (family SM121LowerPending)
1743 fixed
1744 (constructor SM121LowerPending SM121LowerPendingNext head time class
1745 (sm121LowerPendingRemove induction head))
1746 (sm121LowerPendingRemove induction head)))))))))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.