next up previous contents index
Next: Type checking Up: Data Types and Built-ins Previous: Data Types and Built-ins   Contents   Index

Terms

The built-ins described in this section can be applied to any type of terms.
Subsections
Neng-Fa Zhou 2012-01-03