Type Definition tylar::P8 [] [src]

type P8 = Succ<P7>;

Shorthand for the number 8 (the eighth successor of zero).