Type Definition typenum::N817[][src]

pub type N817 = NInt<U817>;