[][src]Type Definition typenum::N812

type N812 = NInt<U812>;