Where each labelled op was placed: its label and its position in the
lowered program.
104family SM121LowerLabels : Type 0
105constructor SM121LowerLabelsEnd
106constructor SM121LowerLabelsNext
107field unrestricted sm121LowerLabelsLabel : Nat
108field unrestricted sm121LowerLabelsPosition : Nat
109recursive unrestricted sm121LowerLabelsTailThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.