Quantumlib.ExampleA collection of examples using circuits expressed in Circuit.t
val superposition : int -> Circuit.tval entanglement : int -> Circuit.tval qft : int -> Circuit.tval groversDiffusionList : int -> Circuit.gate listval groversOracleList : int -> int list -> Circuit.gate listval groversSearch : int -> int list -> int -> Circuit.tval entanglement_se_res : Symbolic.Expr.t arrayval qft3_se_res : Symbolic.Expr.t arrayval grovers_se_res : Symbolic.Expr.t array