diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-08-23 03:04:34 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-08-23 03:04:34 +0000 |
| commit | 07c3ad6114efe808ee595f83f29dd0c79a6f2536 (patch) | |
| tree | 0b84857ba0cbba7e4c6eb81d5e68709ca50aecb0 /lib/concepts/Hash.ml | |
| parent | d512411992a6a2b50fcdf03689129f70f530116f (diff) | |
| download | RNT-07c3ad6114efe808ee595f83f29dd0c79a6f2536.tar.gz RNT-07c3ad6114efe808ee595f83f29dd0c79a6f2536.zip | |
B-tree iteration constructs (#49)
* Generic `sequence`, finger tree `map2`/`zip`
* `fold_left` on B-trees
* Finger tree `join`
* `iter`, more tests
* We do not need `keys` when traversing through a trunk node
Diffstat (limited to 'lib/concepts/Hash.ml')
0 files changed, 0 insertions, 0 deletions
