diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-10-30 01:13:44 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-10-30 01:15:04 +0100 |
| commit | f73e3ddc7bb778efb1c562633f9779bf027117d4 (patch) | |
| tree | c4c10764d3f0c050194f47134ab04f5d4a8026c9 /sid.mli | |
| parent | d7abe889accfc4a8e41d97d5f2327fde0ce9ca64 (diff) | |
| download | ocaml-sid-f73e3ddc7bb778efb1c562633f9779bf027117d4.tar.gz | |
sid: catch more boundary violations
Diffstat (limited to 'sid.mli')
0 files changed, 0 insertions, 0 deletions