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