Type Definition type_level_logic::strong::balanced::IntUnique

type IntUnique<A: Int> = <A as Unique>::Output;