[][src]Type Definition typenum::P400

type P400 = PInt<U400>;