import from KeyEntry(K, V)
|K||Type||the type of the keys|
|V||Type||the type of the entries|
KeyEntry(K, V) provides pairs consisting of a key from K, and a entry from V. When K is a PrimitiveType, then two pairs are equal if they share the same key. When K is a TotallyOrderedType, then the pair x is greater than the pair y if . Hence key-entry pairs are useful for building tables of entries where each slot is given by a unique key.
CopyableType : (K, V) % construction of a key-entry pair entry: % V get the entry explode: % (K, V) get the key and the entry key: % K get the key free!: % () memory disposal setEntry!: (%, V) V change the entry setKey!: (%, K) K change the key
if K has PrimitiveType then
if K has TotallyOrderedType then