[][src]Type Definition typenum::P388

type P388 = PInt<U388>;