diff options
| author | Robert Norton | 2017-04-19 11:58:31 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-20 11:06:05 +0100 |
| commit | 3ff6d30fe20aec5b690d61f5519d695f19094c52 (patch) | |
| tree | f94810e83505e312809fb312f08f0e7412db875c /src/rewriter.ml | |
| parent | a4b66c24311e2f9525936894f0fb7b191fceb9ee (diff) | |
add missing min and max functions, overriding built-in ocaml ones. Also neq_range.
Diffstat (limited to 'src/rewriter.ml')
0 files changed, 0 insertions, 0 deletions