Type Definition tylar::P2 [] [src]

type P2 = Succ<P1>;

Shorthand for the number 2 (the second successor of zero).