Function hacspec_lib::prelude::ct_util::cset_bit

pub fn cset_bit<T: Integer + Copy>(x: T, b: T, i: usize, c: T) -> T

Function that is not part of the language but is offered as a helper for tests, etc. Set bit at position i in x to b if c is all 1 and return the restult. Returns x if c is 0.