[][src]Type Definition typenum::P456

type P456 = PInt<U456>;