Type Definition tylar::N1 [] [src]

type N1 = Pred<Zero>;

Shorthand for the number –1 (the first predecessor of zero).