Macrosยง
- assert_
count - Asserts the count for a given operation and case, and ensure the circuit is satisfied.
- assert_
count_ fails - Asserts the count for a given operation and case, and ensure the circuit is NOT satisfied.
- assert_
output_ mode - Asserts the output mode for a given operation and case.
- assert_
scope - assert_
scope_ fails - count
- output_
mode - print_
scope - scope
- witness
- The
witness!macro is a closure that takes in a list of circuits, eject the value of each circuit, and uses it in the subsequent code block. - witness_
mode - The
witness_mode!macro returns the expected mode given a list of circuits.