Function hacspec_lib::prelude::csub

pub fn csub<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. Subtract two numerics if condition c is set (all bits 1). Returns x if condition c is 0. Note: Addition is always wrapping.