Type Alias P713 

pub type P713 = PInt<U713>;

Aliased Type

pub struct P713 { /* private fields */ }