BasicType

catdef.spad line 131 [edit on github]

BasicType is the basic category for describing a collection of elements with = (equality).

=: (%, %) -> Boolean

x = y tests if x and y are equal.

~=: (%, %) -> Boolean

x~=y tests if x and y are not equal.