Type Definition typenum::P142[][src]

pub type P142 = PInt<U142>;