Usage
TotallyOrderedType: Category
Description
TotallyOrderedType is the category of totally ordered types, i.e. partially ordered types where every pairis comparable.
Exports
PartiallyOrderedType compare: (%,%) MachineInteger
comparison max: (%,%) %
greater element min: (%,%) %
smaller element