[][src]Type Definition typenum::N837

type N837 = NInt<U837>;