4207def decodeRecordUpdate =
4208 (lambda unrestricted familyTerm : (family Term) .
4209 (lambda unrestricted remaining : (family TermList) .
4210 (eliminate
4211 TermSpellingResult
4212 (lambda unrestricted result : (family TermSpellingResult) . (family TermDecodeResult))
4213 (termSpelling familyTerm)
4214 (branch
4215 TermSpellingDecoded
4216 familyName
4217 .
4218 (eliminate
4219 TermList
4220 (lambda unrestricted terms : (family TermList) . (family TermDecodeResult))
4221 remaining
4222 (branch TermListEnd . familyTermDecodeFailed)
4223 (branch
4224 TermListNext
4225 recordValue
4226 bindings
4227 ih_bindings
4228 .
4229 (constructor
4230 TermDecodeResult
4231 TermDecoded
4232 (constructor
4233 Term
4234 RecordUpdate
4235 familyName
4236 (constructor SyntaxOrigin SyntaxOriginUnknown)
4237 recordValue
4238 (termListToTermSequence bindings))))))
4239 (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.