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

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.

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.