Type Alias U0

pub type U0 = UTerm;