Type Definition flatk::U15

type U15 = U<U15>;