diff options
| author | Alasdair | 2020-04-28 18:40:01 +0100 |
|---|---|---|
| committer | Alasdair | 2020-04-28 18:43:57 +0100 |
| commit | 1c1db56b7b34e3ff6293e216872939ce73cd37e6 (patch) | |
| tree | 37e4f5afcdcd476a77979d267967b3d64fd7aba2 /src/jib/jib_compile.ml | |
| parent | ba2e8265c99bc31c9d1eb8829c4b63d7e2ccf3f4 (diff) | |
Add flooring division in prelude
Defined in terms of tdiv so we don't have to add it to backends that
don't already have it
Diffstat (limited to 'src/jib/jib_compile.ml')
0 files changed, 0 insertions, 0 deletions