Trait SelectAdd 

pub trait SelectAdd<Then, Else> {
    type Out;
}

Select between two types based on Add capability.

Required Associated Types

type Out

Implementors

impl<S, Then, Else> SelectAdd<Then, Else> for S

where S: Evaluate<IsAdd>, <S as Evaluate<IsAdd>>::Out: Bool,

type Out = <<S as Evaluate<Marker<Cons<XF, Cons<X9, Cons<XA, Cons<XE, Cons<XE, Cons<X3, Cons<X1, Cons<X9, Cons<XA, Cons<X0, Cons<X0, Cons<X6, Cons<XC, Cons<X9, Cons<XB, ConstStream<X4>>>>>>>>>>>>>>>>>>>::Out as Bool>::If<Then, Else>