147def combineReferenceSlot =
148 (lambda unrestricted reference : (family CombineReference) .
149 (eliminate
150 CombineReference
151 (lambda unrestricted current : (family CombineReference) . Nat)
152 reference
153 (branch CombineReferenceOf owner slot . slot)))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.