Module macros

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.