Function cmp_lte 

pub fn cmp_lte(spec: CiphertextSpec) -> Builder

Creates an IR for a less-or-equal comparison of two encrypted integers.

The returned Builder declares two ciphertext inputs and one single-block ciphertext output encoding the boolean result (1 when the first operand is less than or equal to the second, 0 otherwise). Internally delegates to Builder::iop_cmp with CmpKind::LowerOrEqual.

The spec parameter describes the integer encoding (bit-width, message bits, carry bits) and determines the number of blocks in the decomposition.

Examples

let builder = cmp_lte(spec);
let ir = builder.into_ir();