![]() |
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. |
![]() |