Results still in flight: a register (or predicate), the cycle its writer
issued at and the writer's class. An entry is dropped once every reader
would find it ready.
234family SM121LowerPending : Type 0
235constructor SM121LowerPendingEnd
236constructor SM121LowerPendingNext
237field unrestricted sm121LowerPendingRegister : Nat
238field unrestricted sm121LowerPendingTime : Nat
239field unrestricted sm121LowerPendingClass : (family SM121LowerClass)
240recursive unrestricted sm121LowerPendingTailThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.