Macaulay2 » Documentation
Packages » Macaulay2Doc » The Macaulay2 language » what a class is » instance
next | previous | forward | backward | up | index | toc

instance -- whether something has a certain type

Description

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

Ways to use instance:

  • instance(Thing,Type)

For the programmer

The object instance is a compiled function.


The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Macaulay2Doc/ov_types.m2:587:0.