[][src]Type Definition typenum::P802

type P802 = PInt<U802>;