5599def syntaxAllowedInEdition =
5600 (lambda unrestricted edition : (family LanguageEdition) .
5601 (lambda unrestricted syntax : (family Syntax) .
5602 (parserNaturalAnd
5603 (parserEditionUseAllowed
5604 (Compiler.LanguageEdition/editionAllowsNamedRecords edition)
5605 (syntaxUsesNamedRecords syntax))
5606 (parserNaturalAnd
5607 (parserEditionUseAllowed
5608 (Compiler.LanguageEdition/editionAllowsSequencing edition)
5609 (syntaxUsesSequencing syntax))
5610 (parserNaturalAnd
5611 (parserEditionUseAllowed
5612 (Compiler.LanguageEdition/editionAllowsReadableMatching edition)
5613 (syntaxUsesReadableMatching syntax))
5614 (parserNaturalAnd
5615 (parserEditionUseAllowed
5616 (Compiler.LanguageEdition/editionAllowsNaturalArithmetic edition)
5617 (syntaxUsesArithmetic syntax))
5618 (parserEditionUseAllowed
5619 (Compiler.LanguageEdition/editionAllowsQuotedLiterals edition)
5620 (syntaxUsesQuotedLiterals syntax))))))))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.