Function mask

fn mask<F, V>(bits: &[Boolean], xs: &[V]) -> F
where
    F: FieldWitness + From<V>,
    V: Copy,