Efficient dictionary for cases when the number of possible keys is small
and is known at compile-time. The data is held in a static array, no allocations occur.
Key type must:
have static member ValueSetSize (integer)
have static method fromInternalCode (returning an instance of Key type);
have property internal_code that maps it to integers 0, 1, ..., ValueSetSize - 1
Efficient dictionary for cases when the number of possible keys is small and is known at compile-time. The data is held in a static array, no allocations occur.
Key type must: have static member ValueSetSize (integer) have static method fromInternalCode (returning an instance of Key type); have property internal_code that maps it to integers 0, 1, ..., ValueSetSize - 1