The Dex module presents a leaky API to the user: lots of record cells are mutable, which ends up being problematic when inserting items because there are necessarily implicit invariants. For example, the tries_size field has to be in sync with the length of tries. The API should be carefully redesigned so that this is more intuitive.
The
Dexmodule presents a leaky API to the user: lots of record cells are mutable, which ends up being problematic when inserting items because there are necessarily implicit invariants. For example, thetries_sizefield has to be in sync with the length oftries. The API should be carefully redesigned so that this is more intuitive.