Type Alias P13

pub type P13 = PInt<U13>;