Type Definition tylar::P5 [] [src]

type P5 = Succ<P4>;

Shorthand for the number 5 (the fifth successor of zero).