Type Definition type_level_logic::strong::balanced::Triple

type Triple<A: Int> = <A as IntTriple>::Output;