Merge branch 'trunk' into singleton-to-single

This commit is contained in:
Chadtech 2021-03-14 21:58:08 -04:00 committed by GitHub
commit 1e9cf7ba89
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 74 additions and 6 deletions

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" => {