[][src]Type Definition typenum::N787

type N787 = NInt<U787>;