This commit is contained in:
Folkert 2021-02-21 16:07:35 +01:00
parent 128741e585
commit 43e71f2ee9
6 changed files with 27 additions and 1 deletions

View file

@ -83,6 +83,7 @@ pub enum LowLevel {
NumShiftLeftBy,
NumShiftRightBy,
NumShiftRightZfBy,
NumIntCast,
Eq,
NotEq,
And,

View file

@ -854,6 +854,8 @@ define_builtins! {
93 NUM_AT_NATURAL: "@Natural"
94 NUM_NATURAL: "Natural" imported
95 NUM_NAT: "Nat" imported
96 NUM_INT_CAST: "intCast"
}
2 BOOL: "Bool" => {
0 BOOL_BOOL: "Bool" imported // the Bool.Bool type alias