None

any.spad line 1 [edit on github]

None implements an universal type, that is type which can represent values of any normal type. It is mainly used in technical situations where such a thing is needed (e.g. the interpreter and some of the internal Expression code).

= : (%, %) -> Boolean
from BasicType
coerce : % -> OutputForm
from CoercibleTo(OutputForm)
latex : % -> String
from SetCategory
~= : (%, %) -> Boolean
from BasicType

BasicType

SetCategory

CoercibleTo(OutputForm)