Type Definition tylar::P6 [] [src]

type P6 = Succ<P5>;

Shorthand for the number 6 (the sixth successor of zero).