[][src]Type Definition typenum::N792

type N792 = NInt<U792>;