Efficient finite map from ByteString to values, based on big-endian patricia trees (wrengr/bytestring-trie). Bug fixes mined from upstream history; modern HEAD is the base, each patch reverse-applies a fix to install the original bug.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
DeleteSubmapRemovesAllPrefixed | 10 | 30 | 0 | bug found |
MergeByLeftBiased | 22 | 58 | 0 | bug found |