Function mul_by_boolean

Source
fn mul_by_boolean<F>(x: F, y: CircuitVar<Boolean>, w: &mut Witness<F>) -> F
where F: FieldWitness,