5317def decodeSyntax =
5318 (lambda unrestricted syntax : (family Syntax) .
5319 (eliminate
5320 Syntax
5321 (lambda unrestricted value : (family Syntax) . (family TermDecodeResult))
5322 syntax
5323 (branch
5324 SyntaxAtom
5325 syntaxSpelling
5326 origin
5327 .
5328 (termDecodeAttachOrigin origin (decodeAtom syntaxSpelling)))
5329 (branch
5330 SyntaxEmpty
5331 .
5332 (constructor TermDecodeResult TermsDecoded (constructor TermList TermListEnd)))
5333 (branch
5334 SyntaxCons
5335 syntaxHead
5336 syntaxTail
5337 ih_syntaxHead
5338 ih_syntaxTail
5339 .
5340 (combineDecodedSequence ih_syntaxHead ih_syntaxTail))
5341 (branch
5342 SyntaxNode
5343 syntaxChildren
5344 ih_syntaxChildren
5345 .
5346 (eliminate
5347 TermDecodeResult
5348 (lambda unrestricted value : (family TermDecodeResult) . (family TermDecodeResult))
5349 ih_syntaxChildren
5350 (branch
5351 TermDecoded
5352 decodedTerm
5353 .
5354 (constructor
5355 TermDecodeResult
5356 TermDecodeFailed
5357 (succ (succ (succ (succ (succ zero)))))
5358 (constructor SyntaxOrigin SyntaxOriginUnknown)))
5359 (branch
5360 TermsDecoded
5361 decodedTerms
5362 .
5363 (finishDecodedNode syntaxChildren decodedTerms (finishDecodedTerms decodedTerms)))
5364 (branch
5365 TermDecodeFailed
5366 termDecodeFailureCode
5367 termFailureOrigin
5368 .
5369 (constructor TermDecodeResult TermDecodeFailed termDecodeFailureCode termFailureOrigin))))))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.