|
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. |
|