Package fj.data.hlist

Class HPre.HAdd<A extends HPre.HNat<A>,​B extends HPre.HNat<B>,​C extends HPre.HNat<C>>

  • Enclosing class:
    HPre

    public static final class HPre.HAdd<A extends HPre.HNat<A>,​B extends HPre.HNat<B>,​C extends HPre.HNat<C>>
    extends java.lang.Object
    Type-level integer arithmetic