Type Definition tylar::N3 [] [src]

type N3 = Pred<N2>;

Shorthand for the number –3 (the third predecessor of zero).