Type Definition typenum::consts::N1 [−] [src]

type N1 = NInt<UInt<UTerm, B1>>;