RNT/lib/Utilities.mli, branch constraints

Do not assume that the hash of an object is its storage address

2026-09-19T01:09:24+00:00

Branch serialization

2026-08-27T01:41:12+00:00

Merge branch 'ocaml-rewrite' into new-ob

2026-08-23T03:32:24+00:00

Lifecycles and namespaces

2026-08-23T03:07:01+00:00

Tidy up

2026-08-23T03:06:58+00:00

Atomic swap (and monadic swap)

2026-08-23T03:06:55+00:00

B-tree iteration constructs (#49)

2026-08-23T03:04:34+00:00

* 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

B-trees & serialization with bencode

2026-07-30T19:56:06+00:00

FOL: First Order Logic Execution Engine

2026-07-11T03:51:11+00:00

Co-authored-by: Estevan Castilho