[][src]Type Definition typenum::N388

type N388 = NInt<U388>;