BasicTypeΒΆ

catdef.spad line 130

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.