Only form heads are reserved; identifiers in binder or value positions are not.
5497def syntaxUsesArithmetic =
5498 (lambda unrestricted syntax : (family Syntax) .
5499 (eliminate
5500 Syntax
5501 (lambda unrestricted current : (family Syntax) . Nat)
5502 syntax
5503 (branch SyntaxAtom spelling origin . zero)
5504 (branch SyntaxEmpty . zero)
5505 (branch SyntaxCons head tail ih_head ih_tail . (parserFlagOr ih_head ih_tail))
5506 (branch
5507 SyntaxNode
5508 children
5509 ih_children
5510 .
5511 (parserFlagOr (syntaxArithmeticHead children) ih_children))))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.