Int63: min_int et max_int

parent 61508f6e
...@@ -204,6 +204,8 @@ module mach.int.Int63 ...@@ -204,6 +204,8 @@ module mach.int.Int63
syntax type int63 "int" syntax type int63 "int"
syntax constant min_int63 "Z.of_int min_int" syntax constant min_int63 "Z.of_int min_int"
syntax constant max_int63 "Z.of_int max_int" syntax constant max_int63 "Z.of_int max_int"
syntax constant min_int "min_int"
syntax constant max_int "max_int"
syntax constant zero "0" syntax constant zero "0"
syntax constant one "1" syntax constant one "1"
syntax val ( + ) "%1 + %2" syntax val ( + ) "%1 + %2"
......
...@@ -224,6 +224,8 @@ module Int63 ...@@ -224,6 +224,8 @@ module Int63
let constant zero = of_int 0 let constant zero = of_int 0
let constant one = of_int 1 let constant one = of_int 1
let constant max_int = of_int max_int63
let constant min_int = of_int min_int63
(* use bv.BV63 (* use bv.BV63
......
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