[][src]Type Definition typenum::P858

type P858 = PInt<U858>;