TLA+ modules, specifications, and models for Radix trees. - View it on GitHub