circuit-static-collapsed

| ψ 0 | ψ 1 | ψ 2 functors.qs:3:5 Foo(q); Foo functors.qs:4:5 Adjoint Foo(q); Foo functors.qs:6:5 Controlled Foo(controls, q); Foo functors.qs:7:5 Controlled Adjoint Foo(controls, q); Foo functors.qs:8:6 [MResetZ(q)] functors.qs:8:6 [MResetZ(q)] |0⟩ Main

circuit-static-expanded

| ψ 0 | ψ 1 | ψ 2 functors.qs:14:9 X(q); Foo functors.qs:18:9 X(q); Foo functors.qs:22:9 Controlled X(cs, q); Foo functors.qs:18:9 X(q); Foo functors.qs:8:6 [MResetZ(q)] functors.qs:8:6 [MResetZ(q)] |0⟩ Main

circuit-eval-collapsed

functors.qs:2:5 use q = Qubit(); | ψ 0 functors.qs:5:5 use controls = Qubit[2]; | ψ 1 functors.qs:5:5 use controls = Qubit[2]; | ψ 2 functors.qs:3:5 Foo(q); Foo functors.qs:4:5 Adjoint Foo(q); Foo functors.qs:6:5 Controlled Foo(controls, q); ∧Foo functors.qs:7:5 Controlled Adjoint Foo(controls, q); ∧Foo functors.qs:8:6 [MResetZ(q)] functors.qs:8:6 [MResetZ(q)] |0⟩ Main

circuit-eval-expanded

functors.qs:2:5 use q = Qubit(); | ψ 0 functors.qs:5:5 use controls = Qubit[2]; | ψ 1 functors.qs:5:5 use controls = Qubit[2]; | ψ 2 functors.qs:14:9 X(q); Foo functors.qs:18:9 X(q); Foo functors.qs:22:9 Controlled X(cs, q); ∧Foo functors.qs:18:9 X(q); ∧Foo functors.qs:8:6 [MResetZ(q)] functors.qs:8:6 [MResetZ(q)] |0⟩ Main