Assume a contract template definition that looks as follows:
template foo with item0: Decimal item1: Decimal item2: Decimal item3: Decimal item4: Decimal where ....
I want to refactor this template to use a list of decimals.
template foo with items: [Decimal] where ....
Is there a way to limit the length of
items to 5 on a type-level or should one use
ensure on the template which would be checked only during runtime?