implement isMultipleOf builtin

This commit is contained in:
Eric Henry 2021-03-14 14:52:38 -04:00
parent 618dea11e6
commit 1e9bd0d7f1
7 changed files with 74 additions and 6 deletions

View file

@ -65,6 +65,7 @@ pub enum LowLevel {
NumCompare,
NumDivUnchecked,
NumRemUnchecked,
NumIsMultipleOf,
NumAbs,
NumNeg,
NumSin,

View file

@ -856,6 +856,7 @@ define_builtins! {
95 NUM_NAT: "Nat" imported
96 NUM_INT_CAST: "intCast"
97 NUM_MAX_I128: "maxI128"
98 NUM_IS_MULTIPLE_OF: "isMultipleOf"
}
2 BOOL: "Bool" => {