Type Definition typenum::consts::N71

type N71 = NInt<U71>;