next up previous contents
Next: Metarepresenting sorts and kinds Up: Reflection, Metalevel Computation, and Previous: Reflection and metalevel computation   Contents

The META-TERM module


Subsections
The Maude Team