Type Definition peano::P5

type P5 = Succ<P4>;

The Peano number +5; P5 = Succ<P4>;