Merge remote-tracking branch 'origin/trunk' into mono-lowlevel

This commit is contained in:
Folkert 2021-10-18 11:11:04 +02:00
commit 031c7cc2e2
20 changed files with 447 additions and 165 deletions

View file

@ -71,6 +71,7 @@ pub enum LowLevel {
NumLte,
NumCompare,
NumDivUnchecked,
NumDivCeilUnchecked,
NumRemUnchecked,
NumIsMultipleOf,
NumAbs,
@ -165,6 +166,7 @@ macro_rules! first_order {
| NumLte
| NumCompare
| NumDivUnchecked
| NumDivCeilUnchecked
| NumRemUnchecked
| NumIsMultipleOf
| NumAbs