Does EnumerableMap.remove() updates the .length value?

Support
1

Hi all,

In EnumerableMap, the .remove() method uses the delete keyword to remove a value from its index.

Since delete reverts the value to 0, does the length of the object stays the same, or is reduced by 1 after we call the remove method?

Use case if you're curious: I'm making a lottery where each user can get a ticket. The drawing is done by getting a random number and attributing the prize to the corresponding indexed address.

If a user leaves the lottery, I need to update the length of the array to adjust the range of random numbers used to pick the next winner.

2

The delete keyword is used to remove an element from a mapping, but the keys are stored in a set and the length of the array is updated correctly.