package voqc

  1. Overview
  2. Docs
type coq_Std_Unitary =
  1. | U_I
  2. | U_X
  3. | U_Y
  4. | U_Z
  5. | U_H
  6. | U_S
  7. | U_T
  8. | U_Sdg
  9. | U_Tdg
  10. | U_Rx of float
  11. | U_Ry of float
  12. | U_Rz of float
  13. | U_Rzq of Q.t
  14. | U_U1 of float
  15. | U_U2 of float * float
  16. | U_U3 of float * float * float
  17. | U_CX
  18. | U_CZ
  19. | U_SWAP
  20. | U_CCX
  21. | U_CCZ
type coq_U = coq_Std_Unitary
val match_gate : int -> coq_U -> coq_U -> bool