Adds castToNat

This commit is contained in:
Joshua Hoeflich 2021-08-18 11:02:20 -05:00
parent 7068da7144
commit 92da003fba
8 changed files with 23 additions and 2 deletions

View file

@ -893,6 +893,7 @@ define_builtins! {
102 NUM_DEC: "Dec" imported // the Num.Dectype alias
103 NUM_BYTES_TO_U16: "bytesToU16"
104 NUM_BYTES_TO_U32: "bytesToU32"
105 NUM_CAST_TO_NAT: "#castToNat"
}
2 BOOL: "Bool" => {
0 BOOL_BOOL: "Bool" imported // the Bool.Bool type alias