324def finishStructuralForest =
325 (lambda unrestricted forest : (family Syntax) .
326 (eliminate
327 Syntax
328 (lambda unrestricted value : (family Syntax) . (family StructuralParseResult))
329 forest
330 (branch
331 SyntaxAtom
332 syntaxSpelling
333 origin
334 .
335 (constructor StructuralParseResult StructuralParsed forest))
336 (branch
337 SyntaxEmpty
338 .
339 (constructor
340 StructuralParseResult
341 StructuralParseFailed
342 (succ (succ (succ (succ zero))))
343 (constructor SyntaxOrigin SyntaxOriginUnknown)))
344 (branch
345 SyntaxCons
346 syntaxHead
347 syntaxTail
348 ih_syntaxHead
349 ih_syntaxTail
350 .
351 (rejectAdditionalRoots syntaxHead syntaxTail))
352 (branch
353 SyntaxNode
354 syntaxChildren
355 ih_syntaxChildren
356 .
357 (constructor StructuralParseResult StructuralParsed forest))))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.