diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 02:53:57 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 02:53:57 -0300 |
| commit | bbc6c5e2cec6cfe1551e1d819af64cfa29d7f9ef (patch) | |
| tree | 89eb2200eb575f58d9d2cb779fd26a2917ca8a10 /lib/kernel/Scope.mli | |
| parent | 13eef28e1c64b8a313280341cb747689cb65d3f1 (diff) | |
| download | RNT-bbc6c5e2cec6cfe1551e1d819af64cfa29d7f9ef.tar.gz RNT-bbc6c5e2cec6cfe1551e1d819af64cfa29d7f9ef.zip | |
check tuples against the heading before storing
Diffstat (limited to 'lib/kernel/Scope.mli')
0 files changed, 0 insertions, 0 deletions