[][src]Type Definition typenum::consts::P801

type P801 = PInt<U801>;