Next:
The Abstract Syntax Tree
Up:
Operational Specifications
Previous:
Phrase.head
Phrase.init
Phrase.init
[59]
:
Reset state
[31]
Initialize the set of bindings
[40]
This macro is attached to a product file.
2008-08-30