[][src]Type Definition typenum::N138

type N138 = NInt<U138>;