diff options
Diffstat (limited to 'otherlibs/num/int_misc.ml')
| -rw-r--r-- | otherlibs/num/int_misc.ml | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/otherlibs/num/int_misc.ml b/otherlibs/num/int_misc.ml index 453fd6303..b7eb4c67d 100644 --- a/otherlibs/num/int_misc.ml +++ b/otherlibs/num/int_misc.ml @@ -15,22 +15,22 @@ (* Some extra operations on integers *) -let length_of_int = Sys.word_size - 2;; - -let monster_int = 1 lsl length_of_int;; -let biggest_int = monster_int - 1;; -let least_int = - biggest_int;; +let rec gcd_int i1 i2 = + if i2 = 0 then abs i1 else gcd_int i2 (i1 mod i2) +;; let rec num_bits_int_aux n = - if n == 0 then 0 else succ (num_bits_int_aux (n lsr 1));; + if n = 0 then 0 else succ(num_bits_int_aux (n lsr 1));; let num_bits_int n = num_bits_int_aux (abs n);; -let sign_int i = if i == 0 then 0 else if i > 0 then 1 else -1;; +let sign_int i = if i = 0 then 0 else if i > 0 then 1 else -1;; -let compare_int n1 n2 = - if n1 == n2 then 0 else if n1 > n2 then 1 else -1;; +let length_of_int = Sys.word_size - 2;; -let rec gcd_int i1 i2 = - if i2 == 0 then abs i1 else gcd_int i2 (i1 mod i2);; +let monster_int = 1 lsl length_of_int;; +let biggest_int = monster_int - 1;; +let least_int = - biggest_int;; +let compare_int n1 n2 = + if n1 == n2 then 0 else if n1 > n2 then 1 else -1;; |