diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-09-07 23:33:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-07 20:33:33 -0300 |
| commit | 962981db8038b980d89142b0b89a1474f7448986 (patch) | |
| tree | 4913f678c38b69b521f75bdcca9681cbf9de5cb3 /lib/kernel/Branch.ml | |
| parent | 18e0c91873167c416e5c69a816741a52d4693bf4 (diff) | |
| download | RNT-962981db8038b980d89142b0b89a1474f7448986.tar.gz RNT-962981db8038b980d89142b0b89a1474f7448986.zip | |
Allow users to defer persistence when constructing tree nodes
Diffstat (limited to 'lib/kernel/Branch.ml')
0 files changed, 0 insertions, 0 deletions