Type Definition typenum::P885[][src]

type P885 = PInt<U885>;