Type Definition type_level_logic::strong::ternary::Triple

type Triple<A: Nat> = <A as NatTriple>::Output;