Type Alias P13 

pub type P13 = PInt<U13>;

Aliased Type

pub struct P13 { /* private fields */ }