Type Definition typenum::P814[][src]

type P814 = PInt<U814>;