main
crypto-glue
pub type P2 = PInt<UInt<UInt<UTerm, B1>, B0>>;
pub struct P2 { /* private fields */ }