This changes the internal update operation to use a GADT to indicate which kind of operation to perform. This helps to avoid allocations for certain operations. The inline attribute is also removed from the internal update function. This reduces code size significantly. The periodic validation is also restricted to happen only on accesses of locations that have been accessed previously.
This changes the internal update operation to use a GADT to indicate which kind of operation to perform. This helps to avoid allocations for certain operations. The inline attribute is also removed from the internal update function. This reduces code size significantly. The periodic validation is also restricted to happen only on accesses of locations that have been accessed previously.