summaryrefslogtreecommitdiff
path: root/src/Scalars.ml
diff options
context:
space:
mode:
authorSon Ho2022-09-22 18:45:25 +0200
committerSon Ho2022-09-22 18:45:25 +0200
commit4a8b4b1be044ffaa8de72cf847c00184b6b8ab40 (patch)
tree6317e86878a5757dafdb6311ace00fcf16d8facf /src/Scalars.ml
parentf68e3f3fd1858e638c571f140f149a1c4bee85f0 (diff)
Reformat the project with dune
Diffstat (limited to '')
-rw-r--r--src/Scalars.ml22
1 files changed, 0 insertions, 22 deletions
diff --git a/src/Scalars.ml b/src/Scalars.ml
index 3324c24b..03ca506c 100644
--- a/src/Scalars.ml
+++ b/src/Scalars.ml
@@ -4,43 +4,24 @@ open Values
(** The minimum/maximum values an integer type can have depending on its type *)
let i8_min = Z.of_string "-128"
-
let i8_max = Z.of_string "127"
-
let i16_min = Z.of_string "-32768"
-
let i16_max = Z.of_string "32767"
-
let i32_min = Z.of_string "-2147483648"
-
let i32_max = Z.of_string "2147483647"
-
let i64_min = Z.of_string "-9223372036854775808"
-
let i64_max = Z.of_string "9223372036854775807"
-
let i128_min = Z.of_string "-170141183460469231731687303715884105728"
-
let i128_max = Z.of_string "170141183460469231731687303715884105727"
-
let u8_min = Z.of_string "0"
-
let u8_max = Z.of_string "255"
-
let u16_min = Z.of_string "0"
-
let u16_max = Z.of_string "65535"
-
let u32_min = Z.of_string "0"
-
let u32_max = Z.of_string "4294967295"
-
let u64_min = Z.of_string "0"
-
let u64_max = Z.of_string "18446744073709551615"
-
let u128_min = Z.of_string "0"
-
let u128_max = Z.of_string "340282366920938463463374607431768211455"
(** Being a bit conservative about isize/usize: depending on the system,
@@ -48,11 +29,8 @@ let u128_max = Z.of_string "340282366920938463463374607431768211455"
want to take that into account in the future *)
let isize_min = i32_min
-
let isize_max = i32_max
-
let usize_min = u32_min
-
let usize_max = u32_max
(** Check that an integer value is in range *)