[][src]Type Definition typenum::N778

type N778 = NInt<U778>;