Add canonical Expr implementation for Num.powInt

This commit is contained in:
Dimitar Apostolov 2020-09-15 21:48:54 +02:00
parent 11383e97ab
commit 50223ae93c
3 changed files with 22 additions and 1 deletions

View file

@ -38,6 +38,7 @@ pub enum LowLevel {
NumToFloat,
NumPow,
NumCeiling,
NumPowInt,
Eq,
NotEq,
And,