RNT/lib/kernel/BranchIndex.mli, branch constraints BranchManager sketch 2026-08-23T03:06:57+00:00 Estevan Castilho tevo@riajuu.net 2026-08-20T00:00:36+00:00 465f3378daea5a6f0d44f3729c3551a9cda78ed9 






Avoid exporting `persist`
2026-08-23T03:06:55+00:00

Estevan Castilho
tevo@riajuu.net

2026-08-13T00:26:10+00:00

f885a8f7dd85d79c5c8aa93265f5dea781b345a9












Initialization with Branch State and Index
2026-08-23T03:06:51+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-08-01T17:22:05+00:00

ab360c794849300792b2dc5c9ff6354621040e2f