choose

Function choose 

Source
pub fn choose<B: Term<Type = bool>>(
    b: Value<B>,
) -> Result<ValueEq<B, True>, ValueEq<B, False>>