The result of one instruction: the hazard flag and the pending set after issue.
67family ScoreboardStep : Type 0
68constructor ScoreboardStepValue
69field unrestricted scoreboardStepHazard : Nat
70field unrestricted scoreboardStepPending : (family ScoreboardMasks)
71field unrestricted scoreboardStepReadPending : (family ScoreboardMasks)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.