Definition:Basic Primitive Recursive Function/Successor Function

Definition
The successor function $\operatorname{succ}: \N \to \N$ is a basic primitive recursive function, defined as:
 * $\forall n \in \N: \operatorname{succ} \left({n}\right) = n + 1$

It is URM computable by a single-instruction URM program.