Type Definition tylar::P3 [] [src]

type P3 = Succ<P2>;

Shorthand for the number 3 (the third successor of zero).