Question

Identify in the following program.

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

A statement that invokes the function recursively?

Answer 1

gcd b(a mod b) [when b < > 0]