[Next]
[Up]
[Previous]
[Contents]
[Index]
Next: Type checking
Up: Data Types and Built-ins
Previous: Data Types and Built-ins
Contents
Index
The built-ins described in this section can be applied to any type of terms.
Subsections
Neng-Fa Zhou ()
2007-06-05