Callum Macpherson

now done in #1031

Would be cool to have this. I can imagine cases where you would want to write generic functions whilst having full Python expressivity via comptime. For instance `encode_integer(n: int) ->...

There is a workaround of sorts that may not be satisfactory for your use case. ```python def build_ladder_prog(n_qb: int) -> GuppyFunctionDefinition: @guppy.comptime def ladder(qs: array[qubit, comptime(n_qb)]) -> None: for q1,...

This is strange, I had updated line 308 in #532

In the near term we are planning on constructing a pytket `Circuit` object before doing optimisation. Most passes in pytket that exploit Pauli exponentials resynthesise the circuit to a sequence...

Is this issue still relevant? What are negative results?

Intrestingly there's a [get_operator_variance](https://cqcl.github.io/pytket-braket/api/api.html#pytket.extensions.braket.BraketBackend.get_operator_variance) method in `pytket-braket` which isn't in pytket.utils.