Type Definition typenum::P1001[][src]

pub type P1001 = PInt<U1001>;