[][src]Type Definition typenum::N577

type N577 = NInt<U577>;