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