Question

Identify in the following program.

let rec gcd a b:=
      if b <> 0 then gcd b (a mod b) else return a

The statement which terminates the recursion?

Answer 1

return a (when b becomes 0).