Type Definition sec1::consts::P1

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