Parser

Parsers primarily convert read objects into objects of type parsed. We leave the concrete value of parsed unspecified, since this is application-dependent. There are three additional parameters that parsing depends on: environments, attributes and vocabularies.

The parser is called expand-expr:

expand-expr
read env attr vocab parsed

The types of the arguments to expand-expr (other than read) are explained below.

• Environment
• Attribute
• Vocabulary