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

type P142 = PInt<U142>;