Type Definition sec1::consts::U0

source · 
pub type U0 = UTerm;