Type Definition typenum::N813[][src]

type N813 = NInt<U813>;