4916def finishDecodedNode =
4917 (lambda unrestricted children : (family Syntax) .
4918 (lambda unrestricted terms : (family TermList) .
4919 (lambda unrestricted fallback : (family TermDecodeResult) .
4920 (eliminate
4921 Syntax
4922 (lambda unrestricted current : (family Syntax) . (family TermDecodeResult))
4923 children
4924 (branch SyntaxAtom spelling origin . fallback)
4925 (branch SyntaxEmpty . fallback)
4926 (branch
4927 SyntaxCons
4928 name
4929 afterName
4930 ih_name
4931 ih_afterName
4932 .
4933 (eliminate
4934 Syntax
4935 (lambda unrestricted current : (family Syntax) . (family TermDecodeResult))
4936 name
4937 (branch
4938 SyntaxAtom
4939 spelling
4940 origin
4941 .
4942 (finishDecodedRecordAssignmentAfterName spelling origin afterName terms fallback))
4943 (branch SyntaxEmpty . fallback)
4944 (branch SyntaxCons head tail ih_head ih_tail . fallback)
4945 (branch SyntaxNode nested ih_nested . fallback)))
4946 (branch SyntaxNode nested ih_nested . fallback)))))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.