| # Section 6.9.3: Auxiliary Functions |

#### typeof

This auxiliary function returns the model type of the object argument.

#### sub_type

This auxiliary fnction returns true if and only if the type of the second argument is a sub-type the first argument (itself an abstract model type).

| Specification Index |  | Language Index |  | Section 6 Index

Comments or enquiries should be made to Keith Hopper. Page last modified: Tuesday, 23 May 2000. |