PrimitiveType

Usage

PrimitiveType: Category

Description

PrimitiveType is the category of the most basic types.

Exports

$=$:	(%, %) $\to$ Boolean	equality test
$\sim=$:	(%, %) $\to$ Boolean	inequality test