Printing ssrnat's “.+1” definition

Question

In Ilya Sergey\'s Programs and Proofs, ssrnat\'s command .+1 is introduced and used for defining some functions on the natural numbers. Althou