Package fj.data.hlist

Class HPre.HSucc<N extends HPre.HNat<N>>

java.lang.Object
fj.data.hlist.HPre.HNat<HPre.HSucc<N>>
fj.data.hlist.HPre.HSucc<N>
Type Parameters:
N - The predecessor of this number.
Enclosing class:
HPre

public static final class HPre.HSucc<N extends HPre.HNat<N>> extends HPre.HNat<HPre.HSucc<N>>
A natural number N + 1