Next: Defining Terms
Up: The Term Processor Kimwitu
This section gives the input structure of Kimwitu.
We describe how terms are defined, how attributes of terms
are defined, how the storage strategy of terms can be specified, and how
functions and rewrite rules on terms can be written.