Type Definition typenum::consts::P401

type P401 = PInt<U401>;