139def combineReferenceOwner =
140 (lambda unrestricted reference : (family CombineReference) .
141 (eliminate
142 CombineReference
143 (lambda unrestricted current : (family CombineReference) . Nat)
144 reference
145 (branch CombineReferenceOf owner slot . owner)))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.