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.