Type Definition IfOutput
type_freak::control
type IfOutput<Output, Cond> = <Output as If<Cond>>::Output;