Trait If
type_freak::control
pub trait If<Cond> { type Output; }
Returns input type if Cond can be constructed.
Cond
type Output
impl<Cond, Output> If<Cond> for Output
type Output = FirstOf<(Output, Cond)>