Write a function with type:
gcd : int -> int -> int
that computes the GCD of two non-negative numbers, according to the subtraction-based Euclid's algorithm.
Write a function with type:
gcd : int -> int -> int
that computes the GCD of two non-negative numbers, according to the subtraction-based Euclid's algorithm.