diff options
| author | Brian Campbell | 2017-08-11 10:54:15 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-08-11 10:54:15 +0100 |
| commit | ff469898d5f4e1c9b3cd6692f99dd1e1f2e700bc (patch) | |
| tree | b3d7572fb1bd6ac601c651c6e2f8537cc85c5b41 /src/util.mli | |
| parent | 41b3f6a2f45c6ee24e7db8b65a4df81f9eb2aca0 (diff) | |
Make type checking just clever enough to solve 8*n = constant
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions