Function select 

pub fn select<'c>(
    condition: Value<'c, '_>,
    true_value: Value<'c, '_>,
    false_value: Value<'c, '_>,
    location: Location<'c>,
) -> Operation<'c>

Creates an arith.select operation.