the keys written, ready at `ready`
395def flIssue =
396 (lambda unrestricted keys : (family StdList Nat) .
397 (lambda unrestricted ready : Nat .
398 (lambda unrestricted pending : (family ScoreboardPending) .
399 (eliminate StdList (lambda unrestricted current : (family StdList Nat) . (family ScoreboardPending)) keys
400 (branch StdListEmpty . pending)
401 (branch StdListCons key rest induction .
402 (constructor ScoreboardPending ScoreboardPendingNext key ready induction))))))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.