Package fj.data.hlist
Class HPre.HSucc<N extends HPre.HNat<N>>
- Type Parameters:
N
- The predecessor of this number.
- Enclosing class:
HPre
A natural number N + 1
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
N
- The predecessor of this number.HPre