Type Definition fixed::types::extra::U0

type U0 = UTerm;