Natural numbers - Implementation (more functions) : Use_nat_1.int_of

let rec int_of_nat = function

  n -> if is_zero (n)

         then 0

         else int_of_nat (pre (n)) + 1