Type Definition flatk::U12

type U12 = U<U12>;