Expressions

Any expression is either a variable reference, an application or a special form:

varref : parsed (var)

app : parsed (fun args)

form : parsed ()

The var field of a varref is a Scheme symbol. The fun field of app is of type parsed, while args contains a list of parsed. All the special forms -- which are defined in other documents -- are sub-types of form.

• Identifiers and Binding