Natural numbers - Implementation (more functions) : Use_nat

let rec add = function

  m, n -> if is_zero (n)

            then m

            else suc (add (m, pre (n)))