I have an integer range that I want to encode so that the encoding begins at zero. I used anIntEnum which should act as an encoder and decoder. Because the range is large, I want to create it programmatically. PythonIntEnum supports the following, but AmaranthIntEnum with ashape does not:

fromenumimportIntEnumaspyIntEnumsum_range=range(4,21+1)SumEnum=pyIntEnum('SumEnum', {f'SUM_{x}':x-4forxinsum_range})display(type(SumEnum))# enum.EnumTypefromamaranth.lib.enumimportIntEnumasamaranthIntEnumSumEnum=amaranthIntEnum('SumEnum',names={f'SUM_{x}':x-4forxinsum_range},shape=unsigned(5))# TypeError: EnumType.__call__() got an unexpected keyword argument 'shape'

What would be the right way to create an Enum programmatically? I am new to Amaranth, so an alternative Amarantish approach is also welcome.