r1cs
macro_rules! binary_unsigned_values { ( $( $wire:expr => $value:expr ),* ) => { ... }; }
Creates an instance of WireValues from the given binary wires and BigUint values.
WireValues
BigUint