diff options
| author | Raphaël Monat | 2017-10-08 21:17:00 +0200 |
|---|---|---|
| committer | Raphaël Monat | 2017-10-08 21:17:00 +0200 |
| commit | 2ac3427a8366c28be37b33deb47e7823378263a3 (patch) | |
| tree | b8e556f84c2bcc2a5c43ecaa3cf76fd68def022c /API/API.mli | |
| parent | b4b778f1a1657e0b65f5ac3fe466ca9a1e8d55d3 (diff) | |
Removed leb_not_le (already existing as Nat.leb_nle)
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions