lean2/tests/lean/nat_pp.lean.expected.out

nat.succ (nat.succ (nat.succ (nat.succ (nat.succ (nat.succ (nat.succ (nat.succ (nat.succ nat.zero))))))))
9
9