Libraries.Synthesis.Clifford
data Clifford
clifford_X
clifford_Y
clifford_Z
clifford_H
clifford_S
clifford_SH
clifford_E
clifford_W
class ToClifford a
clifford_decompose
data Axis
clifford_decompose_coset
clifford_id
clifford_mult
clifford_inv
clifford_tconj