Sather Home Page

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.
Produced with Amaya