builtin maxI128 initial

This commit is contained in:
Eric Henry 2021-03-09 12:47:42 -05:00
parent c2525d2407
commit 4d046abefa
11 changed files with 73 additions and 17 deletions

View file

@ -855,6 +855,7 @@ define_builtins! {
94 NUM_NATURAL: "Natural" imported
95 NUM_NAT: "Nat" imported
96 NUM_INT_CAST: "intCast"
97 NUM_MAX_I128: "maxI128"
}
2 BOOL: "Bool" => {