155def combineReference =
156 (lambda unrestricted owner : Nat .
157 (lambda unrestricted node : Nat .
158 (lambda unrestricted field : Nat .
159 (constructor
160 CombineReference
161 CombineReferenceOf
162 owner
163 (naturalAdd (naturalMultiply 3 node) field)))))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.