Type Definition tylar::N2 [] [src]

type N2 = Pred<N1>;

Shorthand for the number –2 (the second predecessor of zero).