Type Definition fixed::types::extra::U0[][src]

type U0 = UTerm;