instance

instance(x,X) -- tells whether x is an instance of the type X .

We say that x is an instance of X if X is the class of x, or a parent of the class of x, or a grandparent, and so on.

See also classes, class, parent.

Go to main index.

Go to concepts index.