Type Definition tylar::P4 [] [src]

type P4 = Succ<P3>;

Shorthand for the number 4 (the fourth successor of zero).