SOL/test/test_branch.ml, branch master relation references as a term kind, written #Name 2026-07-12T20:56:11+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-07-12T20:55:27+00:00 b4a2485afbf74e99e2147086fbca0568b7e2b7b8 






branch world: state scoped reads, insert transitions, tip commit
2026-07-12T20:56:10+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-12T13:11:38+00:00

f52efd20120cf5ceeae28da2c04d57acc6e46f14