Usage
AdditiveType: Category
Description
AdditiveType is the category of types with addition/substraction operations.
Exports
PrimitiveType 0 : % zero + : (%, %) %
addition - : % %
opposite - : (%, %) %
substraction add!: (%, %) %
In-place addition minus!: % %
In-place opposite minus!: (%, %) %
In-place substraction zero?: % Boolean
test for