Type Definition typenum::P794[][src]

pub type P794 = PInt<U794>;