classiq 0.38.0__py3-none-any.whl → 0.40.0__py3-none-any.whl

classiq/interface/generator/functions/{core_lib_declarations/quantum_functions/std_lib_functions.py → builtins/open_lib_functions.py}

@@ -6,6 +6,7 @@ from classiq.interface.model.quantum_function_declaration import (
 
 QFT_STEP = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "qft_step",
     "param_decls": {},
     "port_declarations": {
@@ -21,6 +22,7 @@ QFT_STEP = QuantumFunctionDeclaration.parse_raw(
 
 QFT = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "qft",
     "param_decls": {},
     "port_declarations": {
@@ -36,6 +38,7 @@ QFT = QuantumFunctionDeclaration.parse_raw(
 
 QPE_FLEXIBLE = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "qpe_flexible",
     "param_decls": {},
     "port_declarations": {
@@ -87,6 +90,7 @@ QPE_FLEXIBLE = QuantumFunctionDeclaration.parse_raw(
 
 QPE = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "qpe",
     "param_decls": {},
     "port_declarations": {
@@ -122,34 +126,9 @@ QPE = QuantumFunctionDeclaration.parse_raw(
 }"""
 )
 
-STANDARD_QPE = QuantumFunctionDeclaration.parse_raw(
-    """{
-    "name": "standard_qpe",
-    "param_decls": {
-        "precision": {
-            "kind": "int"
-        }
-    },
-    "port_declarations": {
-        "phase": {
-            "name": "phase",
-            "size": {
-                "expr": "precision"
-            },
-            "direction": "inout"
-        }
-    },
-    "operand_declarations": {
-        "unitary": {
-            "name": "unitary"
-        }
-    },
-    "positional_arg_declarations": []
-}"""
-)
-
 SINGLE_PAULI = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "single_pauli",
     "param_decls": {
         "slope": {
@@ -197,6 +176,7 @@ SINGLE_PAULI = QuantumFunctionDeclaration.parse_raw(
 
 LINEAR_PAULI_ROTATIONS = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "linear_pauli_rotations",
     "param_decls": {
         "bases": {
@@ -235,93 +215,115 @@ LINEAR_PAULI_ROTATIONS = QuantumFunctionDeclaration.parse_raw(
 
 AMPLITUDE_ESTIMATION = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "amplitude_estimation",
-    "param_decls": {
-        "num_phase_qubits": {
-            "kind": "int"
-        },
-        "num_unitary_qubits": {
-            "kind": "int"
-        }
-    },
+    "param_decls": {},
     "port_declarations": {
-        "phase_port": {
-            "name": "phase_port",
+        "phase": {
+            "name": "phase",
             "quantum_type": {
-                "kind": "qnum",
-                "size": {
-                    "expr": "num_phase_qubits"
-                },
-                "is_signed": {
-                    "expr": "False"
-                },
-                "fraction_digits": {
-                    "expr": "num_phase_qubits"
-                }
-            },
-            "size": {
-                "expr": "num_phase_qubits"
+                "kind": "qnum"
             },
-            "direction": "output"
+            "direction": "inout"
         },
-        "unitary_port": {
-            "name": "unitary_port",
-            "size": {
-                "expr": "num_unitary_qubits"
+        "packed_vars": {
+            "name": "packed_vars",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
             },
-            "direction": "output"
+            "direction": "inout"
         }
     },
     "operand_declarations": {
-        "sp_op": {
-            "name": "sp_op",
-            "param_decls": {
-                "num_unitary_qubits": {
-                    "kind": "int"
-                }
-            },
-            "port_declarations": {
-                "spq": {
-                    "name": "spq",
-                    "size": {
-                        "expr": "num_unitary_qubits"
+        "oracle": {
+            "name": "oracle",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
                     },
                     "direction": "inout"
                 }
-            }
+            ],
+            "is_list": false
         },
-        "oracle_op": {
-            "name": "oracle_op",
-            "param_decls": {
-                "num_unitary_qubits": {
-                    "kind": "int"
-                }
-            },
-            "port_declarations": {
-                "oq": {
-                    "name": "oq",
-                    "size": {
-                        "expr": "num_unitary_qubits"
+        "space_transform": {
+            "name": "space_transform",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
                     },
                     "direction": "inout"
                 }
-            }
+            ],
+            "is_list": false
         }
     },
-    "positional_arg_declarations": []
+    "positional_arg_declarations": [
+        {
+            "name": "oracle",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "space_transform",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "phase",
+            "quantum_type": {
+                "kind": "qnum"
+            },
+            "direction": "inout"
+        },
+        {
+            "name": "packed_vars",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    ]
 }"""
 )
 
 PHASE_ORACLE = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "phase_oracle",
     "param_decls": {},
     "port_declarations": {
         "target": {
             "name": "target",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         }
@@ -333,8 +335,8 @@ PHASE_ORACLE = QuantumFunctionDeclaration.parse_raw(
                 {
                     "name": "arg0",
                     "quantum_type": {
-                        "length": null,
-                        "kind": "qvec"
+                        "kind": "qvec",
+                        "length": null
                     },
                     "direction": "inout"
                 },
@@ -356,8 +358,8 @@ PHASE_ORACLE = QuantumFunctionDeclaration.parse_raw(
                 {
                     "name": "arg0",
                     "quantum_type": {
-                        "length": null,
-                        "kind": "qvec"
+                        "kind": "qvec",
+                        "length": null
                     },
                     "direction": "inout"
                 },
@@ -372,38 +374,650 @@ PHASE_ORACLE = QuantumFunctionDeclaration.parse_raw(
             "is_list": false
         },
         {
-            "name": "target",
+            "name": "target",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+REFLECT_ABOUT_ZERO = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "reflect_about_zero",
+    "param_decls": {},
+    "port_declarations": {
+        "packed_vars": {
+            "name": "packed_vars",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "packed_vars",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+GROVER_DIFFUSER = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "grover_diffuser",
+    "param_decls": {},
+    "port_declarations": {
+        "packed_vars": {
+            "name": "packed_vars",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {
+        "space_transform": {
+            "name": "space_transform",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        }
+    },
+    "positional_arg_declarations": [
+        {
+            "name": "space_transform",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "packed_vars",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+GROVER_OPERATOR = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "grover_operator",
+    "param_decls": {},
+    "port_declarations": {
+        "packed_vars": {
+            "name": "packed_vars",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {
+        "oracle": {
+            "name": "oracle",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        "space_transform": {
+            "name": "space_transform",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        }
+    },
+    "positional_arg_declarations": [
+        {
+            "name": "oracle",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "space_transform",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "packed_vars",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+GROVER_SEARCH = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "grover_search",
+    "param_decls": {
+        "reps": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "packed_vars": {
+            "name": "packed_vars",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {
+        "oracle": {
+            "name": "oracle",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        }
+    },
+    "positional_arg_declarations": [
+        {
+            "name": "reps",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "oracle",
+            "positional_arg_declarations": [
+                {
+                    "name": "arg0",
+                    "quantum_type": {
+                        "kind": "qvec",
+                        "length": null
+                    },
+                    "direction": "inout"
+                }
+            ],
+            "is_list": false
+        },
+        {
+            "name": "packed_vars",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+HADAMARD_TRANSFORM = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "hadamard_transform",
+    "param_decls": {},
+    "port_declarations": {
+        "target": {
+            "name": "target",
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": []
+}"""
+)
+
+APPLY_TO_ALL = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "apply_to_all",
+    "param_decls": {},
+    "port_declarations": {
+        "target": {
+            "name": "target",
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {
+        "gate_operand": {
+            "name": "gate_operand",
+            "port_declarations": {
+                "target": {
+                    "name": "target",
+                    "size": {
+                        "expr": "1"
+                    },
+                    "direction": "inout"
+                }
+            }
+        }
+    },
+    "positional_arg_declarations": []
+}"""
+)
+
+QFT_NO_SWAP = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "qft_no_swap",
+    "param_decls": {},
+    "port_declarations": {
+        "qbv": {
+            "name": "qbv",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "qbv",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+_CHECK_MSB = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "_check_msb",
+    "param_decls": {
+        "ref": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "x": {
+            "name": "x",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        },
+        "aux": {
+            "name": "aux",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "ref",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "x",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        },
+        {
+            "name": "aux",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+_CTRL_X = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "_ctrl_x",
+    "param_decls": {
+        "ref": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "ctrl": {
+            "name": "ctrl",
+            "quantum_type": {
+                "kind": "qnum"
+            },
+            "direction": "inout"
+        },
+        "aux": {
+            "name": "aux",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "ref",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "ctrl",
+            "quantum_type": {
+                "kind": "qnum"
+            },
+            "direction": "inout"
+        },
+        {
+            "name": "aux",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+QFT_SPACE_ADD_CONST = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "qft_space_add_const",
+    "param_decls": {
+        "value": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "phi_b": {
+            "name": "phi_b",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "value",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "phi_b",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+CC_MODULAR_ADD = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "cc_modular_add",
+    "param_decls": {
+        "n": {
+            "kind": "int"
+        },
+        "a": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "phi_b": {
+            "name": "phi_b",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        },
+        "c1": {
+            "name": "c1",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        },
+        "c2": {
+            "name": "c2",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        },
+        "aux": {
+            "name": "aux",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "n",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "a",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "phi_b",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        },
+        {
+            "name": "c1",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        },
+        {
+            "name": "c2",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        },
+        {
+            "name": "aux",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        }
+    ]
+}"""
+)
+
+C_MODULAR_MULTIPLY = QuantumFunctionDeclaration.parse_raw(
+    """{
+    "source_ref": null,
+    "name": "c_modular_multiply",
+    "param_decls": {
+        "n": {
+            "kind": "int"
+        },
+        "a": {
+            "kind": "int"
+        }
+    },
+    "port_declarations": {
+        "b": {
+            "name": "b",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        },
+        "x": {
+            "name": "x",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        },
+        "ctrl": {
+            "name": "ctrl",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        },
+        "aux": {
+            "name": "aux",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        }
+    },
+    "operand_declarations": {},
+    "positional_arg_declarations": [
+        {
+            "name": "n",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "a",
+            "classical_type": {
+                "kind": "int"
+            }
+        },
+        {
+            "name": "b",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
-        }
-    ]
-}"""
-)
-
-REFLECT_ABOUT_ZERO = QuantumFunctionDeclaration.parse_raw(
-    """{
-    "name": "reflect_about_zero",
-    "param_decls": {},
-    "port_declarations": {
-        "packed_vars": {
-            "name": "packed_vars",
+        },
+        {
+            "name": "x",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
-        }
-    },
-    "operand_declarations": {},
-    "positional_arg_declarations": [
+        },
         {
-            "name": "packed_vars",
+            "name": "ctrl",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        },
+        {
+            "name": "aux",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qbit"
             },
             "direction": "inout"
         }
@@ -411,56 +1025,44 @@ REFLECT_ABOUT_ZERO = QuantumFunctionDeclaration.parse_raw(
 }"""
 )
 
-GROVER_DIFFUSER = QuantumFunctionDeclaration.parse_raw(
+MULTISWAP = QuantumFunctionDeclaration.parse_raw(
     """{
-    "name": "grover_diffuser",
+    "source_ref": null,
+    "name": "multiswap",
     "param_decls": {},
     "port_declarations": {
-        "packed_vars": {
-            "name": "packed_vars",
+        "x": {
+            "name": "x",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        },
+        "y": {
+            "name": "y",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         }
     },
-    "operand_declarations": {
-        "space_transform": {
-            "name": "space_transform",
-            "positional_arg_declarations": [
-                {
-                    "name": "arg0",
-                    "quantum_type": {
-                        "length": null,
-                        "kind": "qvec"
-                    },
-                    "direction": "inout"
-                }
-            ],
-            "is_list": false
-        }
-    },
+    "operand_declarations": {},
     "positional_arg_declarations": [
         {
-            "name": "space_transform",
-            "positional_arg_declarations": [
-                {
-                    "name": "arg0",
-                    "quantum_type": {
-                        "length": null,
-                        "kind": "qvec"
-                    },
-                    "direction": "inout"
-                }
-            ],
-            "is_list": false
+            "name": "x",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
         },
         {
-            "name": "packed_vars",
+            "name": "y",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         }
@@ -468,84 +1070,75 @@ GROVER_DIFFUSER = QuantumFunctionDeclaration.parse_raw(
 }"""
 )
 
-GROVER_OPERATOR = QuantumFunctionDeclaration.parse_raw(
+INPLACE_C_MODULAR_MULTIPLY = QuantumFunctionDeclaration.parse_raw(
     """{
-    "name": "grover_operator",
-    "param_decls": {},
+    "source_ref": null,
+    "name": "inplace_c_modular_multiply",
+    "param_decls": {
+        "n": {
+            "kind": "int"
+        },
+        "a": {
+            "kind": "int"
+        }
+    },
     "port_declarations": {
-        "packed_vars": {
-            "name": "packed_vars",
+        "x": {
+            "name": "x",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
-        }
-    },
-    "operand_declarations": {
-        "oracle": {
-            "name": "oracle",
-            "positional_arg_declarations": [
-                {
-                    "name": "arg0",
-                    "quantum_type": {
-                        "length": null,
-                        "kind": "qvec"
-                    },
-                    "direction": "inout"
-                }
-            ],
-            "is_list": false
         },
-        "space_transform": {
-            "name": "space_transform",
-            "positional_arg_declarations": [
-                {
-                    "name": "arg0",
-                    "quantum_type": {
-                        "length": null,
-                        "kind": "qvec"
-                    },
-                    "direction": "inout"
-                }
-            ],
-            "is_list": false
+        "ctrl": {
+            "name": "ctrl",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        },
+        "aux": {
+            "name": "aux",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
         }
     },
+    "operand_declarations": {},
     "positional_arg_declarations": [
         {
-            "name": "oracle",
-            "positional_arg_declarations": [
-                {
-                    "name": "arg0",
-                    "quantum_type": {
-                        "length": null,
-                        "kind": "qvec"
-                    },
-                    "direction": "inout"
-                }
-            ],
-            "is_list": false
+            "name": "n",
+            "classical_type": {
+                "kind": "int"
+            }
         },
         {
-            "name": "space_transform",
-            "positional_arg_declarations": [
-                {
-                    "name": "arg0",
-                    "quantum_type": {
-                        "length": null,
-                        "kind": "qvec"
-                    },
-                    "direction": "inout"
-                }
-            ],
-            "is_list": false
+            "name": "a",
+            "classical_type": {
+                "kind": "int"
+            }
         },
         {
-            "name": "packed_vars",
+            "name": "x",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        },
+        {
+            "name": "ctrl",
+            "quantum_type": {
+                "kind": "qbit"
+            },
+            "direction": "inout"
+        },
+        {
+            "name": "aux",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qbit"
             },
             "direction": "inout"
         }
@@ -553,118 +1146,73 @@ GROVER_OPERATOR = QuantumFunctionDeclaration.parse_raw(
 }"""
 )
 
-GROVER_SEARCH = QuantumFunctionDeclaration.parse_raw(
+MODULAR_EXP = QuantumFunctionDeclaration.parse_raw(
     """{
-    "name": "grover_search",
+    "source_ref": null,
+    "name": "modular_exp",
     "param_decls": {
-        "reps": {
+        "n": {
+            "kind": "int"
+        },
+        "a": {
             "kind": "int"
         }
     },
     "port_declarations": {
-        "packed_vars": {
-            "name": "packed_vars",
+        "x": {
+            "name": "x",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
+            },
+            "direction": "inout"
+        },
+        "power": {
+            "name": "power",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         }
     },
-    "operand_declarations": {
-        "oracle": {
-            "name": "oracle",
-            "positional_arg_declarations": [
-                {
-                    "name": "arg0",
-                    "quantum_type": {
-                        "length": null,
-                        "kind": "qvec"
-                    },
-                    "direction": "inout"
-                }
-            ],
-            "is_list": false
-        }
-    },
+    "operand_declarations": {},
     "positional_arg_declarations": [
         {
-            "name": "reps",
+            "name": "n",
             "classical_type": {
                 "kind": "int"
             }
         },
         {
-            "name": "oracle",
-            "positional_arg_declarations": [
-                {
-                    "name": "arg0",
-                    "quantum_type": {
-                        "length": null,
-                        "kind": "qvec"
-                    },
-                    "direction": "inout"
-                }
-            ],
-            "is_list": false
+            "name": "a",
+            "classical_type": {
+                "kind": "int"
+            }
         },
         {
-            "name": "packed_vars",
+            "name": "x",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
-        }
-    ]
-}"""
-)
-
-HADAMARD_TRANSFORM = QuantumFunctionDeclaration.parse_raw(
-    """{
-    "name": "hadamard_transform",
-    "param_decls": {},
-    "port_declarations": {
-        "target": {
-            "name": "target",
-            "direction": "inout"
-        }
-    },
-    "operand_declarations": {},
-    "positional_arg_declarations": []
-}"""
-)
-
-APPLY_TO_ALL = QuantumFunctionDeclaration.parse_raw(
-    """{
-    "name": "apply_to_all",
-    "param_decls": {},
-    "port_declarations": {
-        "target": {
-            "name": "target",
+        },
+        {
+            "name": "power",
+            "quantum_type": {
+                "kind": "qvec",
+                "length": null
+            },
             "direction": "inout"
         }
-    },
-    "operand_declarations": {
-        "gate_operand": {
-            "name": "gate_operand",
-            "port_declarations": {
-                "target": {
-                    "name": "target",
-                    "size": {
-                        "expr": "1"
-                    },
-                    "direction": "inout"
-                }
-            }
-        }
-    },
-    "positional_arg_declarations": []
+    ]
 }"""
 )
 
 ALLOCATE_NUM = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "allocate_num",
     "param_decls": {
         "num_qubits": {
@@ -702,6 +1250,7 @@ ALLOCATE_NUM = QuantumFunctionDeclaration.parse_raw(
 
 QAOA_MIXER_LAYER = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "qaoa_mixer_layer",
     "param_decls": {
         "b": {
@@ -721,6 +1270,7 @@ QAOA_MIXER_LAYER = QuantumFunctionDeclaration.parse_raw(
 
 QAOA_COST_LAYER = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "qaoa_cost_layer",
     "param_decls": {
         "g": {
@@ -747,6 +1297,7 @@ QAOA_COST_LAYER = QuantumFunctionDeclaration.parse_raw(
 
 QAOA_LAYER = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "qaoa_layer",
     "param_decls": {
         "g": {
@@ -776,6 +1327,7 @@ QAOA_LAYER = QuantumFunctionDeclaration.parse_raw(
 
 QAOA_INIT = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "qaoa_init",
     "param_decls": {},
     "port_declarations": {
@@ -791,6 +1343,7 @@ QAOA_INIT = QuantumFunctionDeclaration.parse_raw(
 
 QAOA_PENALTY = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "qaoa_penalty",
     "param_decls": {
         "num_qubits": {
@@ -826,6 +1379,7 @@ QAOA_PENALTY = QuantumFunctionDeclaration.parse_raw(
 
 FULL_HEA = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "full_hea",
     "param_decls": {
         "num_qubits": {
@@ -916,22 +1470,23 @@ FULL_HEA = QuantumFunctionDeclaration.parse_raw(
 
 SWAP_TEST = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "swap_test",
     "param_decls": {},
     "port_declarations": {
         "state1": {
             "name": "state1",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         },
         "state2": {
             "name": "state2",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         },
@@ -948,16 +1503,16 @@ SWAP_TEST = QuantumFunctionDeclaration.parse_raw(
         {
             "name": "state1",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         },
         {
             "name": "state2",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         },
@@ -974,6 +1529,7 @@ SWAP_TEST = QuantumFunctionDeclaration.parse_raw(
 
 PREPARE_GHZ_STATE = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "prepare_ghz_state",
     "param_decls": {
         "size": {
@@ -984,8 +1540,8 @@ PREPARE_GHZ_STATE = QuantumFunctionDeclaration.parse_raw(
         "q": {
             "name": "q",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "output"
         }
@@ -1001,8 +1557,8 @@ PREPARE_GHZ_STATE = QuantumFunctionDeclaration.parse_raw(
         {
             "name": "q",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "output"
         }
@@ -1012,6 +1568,7 @@ PREPARE_GHZ_STATE = QuantumFunctionDeclaration.parse_raw(
 
 PREPARE_EXPONENTIAL_STATE = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "prepare_exponential_state",
     "param_decls": {
         "rate": {
@@ -1022,8 +1579,8 @@ PREPARE_EXPONENTIAL_STATE = QuantumFunctionDeclaration.parse_raw(
         "q": {
             "name": "q",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         }
@@ -1039,8 +1596,8 @@ PREPARE_EXPONENTIAL_STATE = QuantumFunctionDeclaration.parse_raw(
         {
             "name": "q",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         }
@@ -1050,6 +1607,7 @@ PREPARE_EXPONENTIAL_STATE = QuantumFunctionDeclaration.parse_raw(
 
 PREPARE_BELL_STATE = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "prepare_bell_state",
     "param_decls": {
         "state_num": {
@@ -1060,10 +1618,10 @@ PREPARE_BELL_STATE = QuantumFunctionDeclaration.parse_raw(
         "q": {
             "name": "q",
             "quantum_type": {
+                "kind": "qvec",
                 "length": {
                     "expr": "2"
-                },
-                "kind": "qvec"
+                }
             },
             "direction": "output"
         }
@@ -1079,10 +1637,10 @@ PREPARE_BELL_STATE = QuantumFunctionDeclaration.parse_raw(
         {
             "name": "q",
             "quantum_type": {
+                "kind": "qvec",
                 "length": {
                     "expr": "2"
-                },
-                "kind": "qvec"
+                }
             },
             "direction": "output"
         }
@@ -1092,6 +1650,7 @@ PREPARE_BELL_STATE = QuantumFunctionDeclaration.parse_raw(
 
 INPLACE_PREPARE_INT = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "inplace_prepare_int",
     "param_decls": {
         "value": {
@@ -1102,8 +1661,8 @@ INPLACE_PREPARE_INT = QuantumFunctionDeclaration.parse_raw(
         "target": {
             "name": "target",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         }
@@ -1119,8 +1678,8 @@ INPLACE_PREPARE_INT = QuantumFunctionDeclaration.parse_raw(
         {
             "name": "target",
             "quantum_type": {
-                "length": null,
-                "kind": "qvec"
+                "kind": "qvec",
+                "length": null
             },
             "direction": "inout"
         }
@@ -1130,6 +1689,7 @@ INPLACE_PREPARE_INT = QuantumFunctionDeclaration.parse_raw(
 
 PREPARE_INT = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "prepare_int",
     "param_decls": {
         "value": {
@@ -1166,6 +1726,7 @@ PREPARE_INT = QuantumFunctionDeclaration.parse_raw(
 
 SWITCH = QuantumFunctionDeclaration.parse_raw(
     """{
+    "source_ref": null,
     "name": "switch",
     "param_decls": {
         "selector": {
@@ -1196,12 +1757,15 @@ SWITCH = QuantumFunctionDeclaration.parse_raw(
 }"""
 )
 
+OPEN_LIB_DECLS = [
+    func for func in vars().values() if isinstance(func, QuantumFunctionDeclaration)
+]
+
 __all__ = [
     "QFT_STEP",
     "QFT",
     "QPE_FLEXIBLE",
     "QPE",
-    "STANDARD_QPE",
     "SINGLE_PAULI",
     "LINEAR_PAULI_ROTATIONS",
     "AMPLITUDE_ESTIMATION",
@@ -1212,6 +1776,15 @@ __all__ = [
     "GROVER_SEARCH",
     "HADAMARD_TRANSFORM",
     "APPLY_TO_ALL",
+    "QFT_NO_SWAP",
+    "_CHECK_MSB",
+    "_CTRL_X",
+    "QFT_SPACE_ADD_CONST",
+    "CC_MODULAR_ADD",
+    "C_MODULAR_MULTIPLY",
+    "MULTISWAP",
+    "INPLACE_C_MODULAR_MULTIPLY",
+    "MODULAR_EXP",
     "ALLOCATE_NUM",
     "QAOA_MIXER_LAYER",
     "QAOA_COST_LAYER",
@@ -1226,4 +1799,5 @@ __all__ = [
     "INPLACE_PREPARE_INT",
     "PREPARE_INT",
     "SWITCH",
+    "OPEN_LIB_DECLS",
 ]