Type Definition typenum::consts::P413[][src]

pub type P413 = PInt<U413>;