zodiac:interface-form : zodiac:parsed (super-exprs variables)
super-exprs is a list of zodiac:parsed expressions, and variables is a list of zodiac:symbols.
zodiac:class*/names-form : zodiac:parsed (this super-init super-expr interfaces init-vars inst-clauses)
this is a zodiac:lexical-binding giving the name for the
self-variable, super-init is a zodiac:superinit-binding,
super-expr is of type zodiac:parsed, interfaces is a
list of type zodiac:parsed, init-vars is a ``parallel optional
argument list'' (see section
) and inst-clauses
is a list of body clauses (see section
).
zodiac:supervar-binding : zodiac:binding ()
zodiac:superinit-binding : zodiac:binding ()
zodiac:public-binding : zodiac:binding ()
zodiac:private-binding : zodiac:binding ()
zodiac:inherit-binding : zodiac:binding ()
zodiac:rename-binding : zodiac:binding ()
zodiac:supervar-varref : zodiac:bound-varref ()
zodiac:superinit-varref : zodiac:bound-varref ()
zodiac:public-varref : zodiac:bound-varref ()
zodiac:private-varref : zodiac:bound-varref ()
zodiac:inherit-varref : zodiac:bound-varref ()
zodiac:rename-varref : zodiac:bound-varref ()
NOTE: The following convention is used: exports is a list of (McMicMac) zodiac:symbols; internals is a list of the appropriate kind of zodiac:bindings; exprs is a list of zodiac:parsed expressions; and imports is a list of (McMicMac) zodiac:symbols.
zodiac:public-clause (exports internals exprs)
zodiac:private-clause (internals exprs)
zodiac:inherit-clause (internals imports)
zodiac:rename-clause (internals imports)
zodiac:sequence-clause : (exprs)