Function hacspec_lib::prelude::cadd

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

Function that is not part of the language but is offered as a helper for tests, etc. Add two numerics if condition c is set (all bits 1). Returns x if condition c is 0. Note: Addition is always wrapping.