Type Definition sec1::consts::U1

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