The joins of a lowered program read off its words: each branch and each
position one lands on (`bad` counts the displacements that land outside
the program or between instructions).
294family SM121LowerJoins : Type 0
295constructor SM121LowerJoinsValue
296field unrestricted sm121LowerJoinsCount : Nat
297field unrestricted sm121LowerJoinsPositions : (family SM121LowerRegisters)
298field unrestricted sm121LowerJoinsBad : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.