[][src]Type Definition typenum::P373

type P373 = PInt<U373>;