diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-24 22:33:22 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-24 22:33:22 -0300 |
| commit | e8c8ba1ffd920aedaf24449322e8aaab9300aaec (patch) | |
| tree | a23a4e6592956e19d6a755deef633e5b5b550813 /lib/kernel/BranchManager.ml | |
| parent | 4994bc0aacf08cf69bfaa3e31bd6767050f55efd (diff) | |
| download | RNT-e8c8ba1ffd920aedaf24449322e8aaab9300aaec.tar.gz RNT-e8c8ba1ffd920aedaf24449322e8aaab9300aaec.zip | |
abstract translator so the program term uses the same shape as tuple
Diffstat (limited to 'lib/kernel/BranchManager.ml')
0 files changed, 0 insertions, 0 deletions