283def rejectAdditionalRoots =
284 (lambda unrestricted root : (family Syntax) .
285 (lambda unrestricted tail : (family Syntax) .
286 (eliminate
287 Syntax
288 (lambda unrestricted value : (family Syntax) . (family StructuralParseResult))
289 tail
290 (branch
291 SyntaxAtom
292 syntaxSpelling
293 origin
294 .
295 (constructor
296 StructuralParseResult
297 StructuralParseFailed
298 (succ (succ (succ zero)))
299 (constructor SyntaxOrigin SyntaxOriginUnknown)))
300 (branch SyntaxEmpty . (constructor StructuralParseResult StructuralParsed root))
301 (branch
302 SyntaxCons
303 syntaxHead
304 syntaxTail
305 ih_syntaxHead
306 ih_syntaxTail
307 .
308 (constructor
309 StructuralParseResult
310 StructuralParseFailed
311 (succ (succ (succ zero)))
312 (constructor SyntaxOrigin SyntaxOriginUnknown)))
313 (branch
314 SyntaxNode
315 syntaxChildren
316 ih_syntaxChildren
317 .
318 (constructor
319 StructuralParseResult
320 StructuralParseFailed
321 (succ (succ (succ zero)))
322 (constructor SyntaxOrigin SyntaxOriginUnknown))))))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.