Type Definition type_level_logic::strong::ternary::Unique

type Unique<A: Nat> = <A as NatUnique>::Output;