Type Alias P1 

pub type P1 = PInt<UInt<UTerm, B1>>;

Aliased Type

pub struct P1 { /* private fields */ }