def add(m, n): if m == 0: return n if n == 0: return m return add(m-1, succ(n))

The function add takes two arguments m and n and returns the result of adding m to n.