Type Definition tylar::N9 [] [src]

type N9 = Pred<N8>;

Shorthand for the number –9 (the ninth predecessor of zero).