Type Definition type_level_logic::strong::ternary::Rev

type Rev<A: Nat> = <A as NatRev>::Output;