Type Definition IfPredicateOutput
type_freak::control
type IfPredicateOutput<Output, Cond> = <Output as IfPredicate<Cond>>::Output;