|   | Section 6.9.3: |  | 
This auxiliary function returns the model type of the object argument.
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. |   |