Convenient mixin template for getting your struct working with TinyMap.
Creates
1) private member of type T with name _code
2) fromInternalCode static method
3) internal_code property
4) static member ValueSetSize equal to N
5) invariant that _code is always less than ValueSetSize
That is, the only thing which implementation is up to you is
setting _code appropriately.
Convenient mixin template for getting your struct working with TinyMap.
Creates 1) private member of type T with name _code 2) fromInternalCode static method 3) internal_code property 4) static member ValueSetSize equal to N 5) invariant that _code is always less than ValueSetSize
That is, the only thing which implementation is up to you is setting _code appropriately.