Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Shrank EncodedLevel to speed up step_in/step_out. (#113)
* Shrank `EncodedLevel` from 120 bytes to 56 bytes * All `EncodedLevel`s store their annotations in a common `Vec`.
- Loading branch information