diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-13 14:59:29 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-13 14:59:29 -0300 |
| commit | 49af3fc7c2e3b27f5925c153ce6ce9bd05f19c45 (patch) | |
| tree | 5920b57ba4f85cc3d3cb1e4920b4edfef064f129 /lib/kernel/Branch.ml | |
| parent | 097cf958cf25c63035f6434f12b421dd9ab1c60e (diff) | |
| download | RNT-49af3fc7c2e3b27f5925c153ce6ce9bd05f19c45.tar.gz RNT-49af3fc7c2e3b27f5925c153ce6ce9bd05f19c45.zip | |
actual lazy substantial relation
Diffstat (limited to 'lib/kernel/Branch.ml')
0 files changed, 0 insertions, 0 deletions