pub fn quantum_gate_ty() -> Expr
QuantumGate : Nat → Type — unitary operator on n qubits.
QuantumGate : Nat → Type