Next:
Semantics of Rules
Up:
Syntax
Previous:
The Declaration Constructor
Programs
A
program
is a rule without any undeclared variables.
