Function isub 

pub fn isub(builder: &CircuitBuilder, a: Wire, b: Wire) -> Wire

Performs integer subtraction: a - b.

This is a wrapper around the circuit builder’s integer subtraction that handles borrow-in/borrow-out automatically with zero borrow-in.