Argument lists are encapsulated within a structure:
The vars field is expected to always be a list of zodiac:binding identifiers. To distinguish between the different structures of argument lists, a sub-type is used. In Core Scheme, argument lists in the input can only be (syntactic) lists of identifiers:
zodiac:sym-arglist : arglist ()
Higher language levels may permit more kinds of argument lists.
Procedures