Type Definition ranged_num::reexports::U0

type U0 = UTerm;