[−]Type Definition bbqueue::consts::U0

type U0 = UTerm;