Type Definition typenum::N812[][src]

type N812 = NInt<U812>;