Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package voqc
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Voqc.StandardGateSet
Standard gate set and related utility functions.
module StandardGateSet : sig ... endtype standard_ucom_l =
StandardGateSet.coq_Std_Unitary UnitaryListRepresentation.gate_listval change_gate_set :
('a1 UnitaryListRepresentation.gate_app ->
'a2 UnitaryListRepresentation.gate_list) ->
'a1 UnitaryListRepresentation.gate_list ->
'a2 UnitaryListRepresentation.gate_listval standard_to_IBM : standard_ucom_l -> IBMGateSet.coq_IBM_ucom_lval coq_IBM_to_standard : IBMGateSet.coq_IBM_ucom_l -> standard_ucom_lval standard_to_RzQ : standard_ucom_l -> RzQGateSet.coq_RzQ_ucom_lval coq_RzQ_to_standard : RzQGateSet.coq_RzQ_ucom_l -> standard_ucom_lval decompose_to_cnot : standard_ucom_l -> standard_ucom_lval convert_to_ibm : standard_ucom_l -> standard_ucom_lval convert_to_rzq : standard_ucom_l -> standard_ucom_lval replace_rzq : standard_ucom_l -> standard_ucom_l