Type Definition typenum::consts::P713[][src]

type P713 = PInt<U713>;