module Extended_int:sig
..end
gcd 0 0 = 0
.
Returns a nonnegative value unless one of the arguments is Int.min_value
and the other is Int.min_value
or 0, in which case Int.min_value
is returned.
include Number.Verified_std
val gcd : int -> int -> int
gcd 0 0 = 0
.
Returns a nonnegative value unless one of the arguments is Int.min_value
and the other is Int.min_value
or 0, in which case Int.min_value
is returned.