extraction: driver for Int63.zero,one

parent f4568166
......@@ -204,6 +204,8 @@ module mach.int.Int63
syntax type int63 "int"
syntax constant min_int63 "Z.of_int min_int"
syntax constant max_int63 "Z.of_int max_int"
syntax constant zero "0"
syntax constant one "1"
syntax val ( + ) "%1 + %2"
syntax val ( - ) "%1 - %2"
syntax val (-_) "- %1"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment