pub fn use_binop<F, I1, I2, O>( cond: F, ) -> (WriteSignal<I1>, WriteSignal<I2>, Signal<O>)where I1: Clone + Default, I2: Clone + Default, O: Clone, F: Fn(I1, I2) -> O + 'static,