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

pub type P137 = PInt<U137>;