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 that are described in this section can be applied to any type of term.
Subsections
Neng-Fa Zhou 2013-01-25