diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 02:55:39 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 02:55:39 -0300 |
| commit | b42d12cfc0b663085bd5ae9e5e2d491e727e731e (patch) | |
| tree | f3b9cee2fecab374823031d788b0e20237eb8c29 /lib/protocols/Indexed.ml | |
| parent | f27915b4784d64ceb2d2ebbcf7296c74f33a96ca (diff) | |
| download | RNT-b42d12cfc0b663085bd5ae9e5e2d491e727e731e.tar.gz RNT-b42d12cfc0b663085bd5ae9e5e2d491e727e731e.zip | |
range on the interface fold, stopping at the first error
Diffstat (limited to 'lib/protocols/Indexed.ml')
0 files changed, 0 insertions, 0 deletions