Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type coq_Std_Unitary =
| U_I
| U_X
| U_Y
| U_Z
| U_H
| U_S
| U_T
| U_Sdg
| U_Tdg
| U_Rx of float
| U_Ry of float
| U_Rz of float
| U_Rzq of Q.t
| U_U1 of float
| U_U2 of float * float
| U_U3 of float * float * float
| U_CX
| U_CZ
| U_SWAP
| U_CCX
| U_CCZ
type coq_U = coq_Std_Unitary