Function hacspec_lib::prelude::ct_util::cswap_bit

pub fn cswap_bit<T: Integer + Copy>(x: T, y: T, c: T) -> (T, T)

Function that is not part of the language but is offered as a helper for tests, etc. Conditional, constant-time swapping. Returns (x, y) if c == 0 and (y, x) if c == 1.