4139def decodeRecordProjectionField =
4140 (lambda unrestricted familyName : Bytes .
4141 (lambda unrestricted fieldTerm : (family Term) .
4142 (lambda unrestricted remaining : (family TermList) .
4143 (eliminate
4144 TermSpellingResult
4145 (lambda unrestricted result : (family TermSpellingResult) . (family TermDecodeResult))
4146 (termSpelling fieldTerm)
4147 (branch
4148 TermSpellingDecoded
4149 fieldName
4150 .
4151 (eliminate
4152 TermList
4153 (lambda unrestricted terms : (family TermList) . (family TermDecodeResult))
4154 remaining
4155 (branch TermListEnd . familyTermDecodeFailed)
4156 (branch
4157 TermListNext
4158 recordValue
4159 tail
4160 ih_tail
4161 .
4162 (eliminate
4163 TermList
4164 (lambda unrestricted terms : (family TermList) . (family TermDecodeResult))
4165 tail
4166 (branch
4167 TermListEnd
4168 .
4169 (constructor
4170 TermDecodeResult
4171 TermDecoded
4172 (constructor
4173 Term
4174 RecordProjection
4175 familyName
4176 fieldName
4177 (constructor SyntaxOrigin SyntaxOriginUnknown)
4178 recordValue)))
4179 (branch TermListNext extra rest ih_rest . familyTermDecodeFailed)))))
4180 (branch TermHasNoSpelling . familyTermDecodeFailed)))))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.