QuipperLib.ClassicalOptim.QuickCheck
myAdder
myArith
myCircArith
bCircArith
wire_of_endpoint
runArithDry
runArith
testArith5
choose
genCirc
printSampleCirc
restrict
testCircSimpl
testCircSwap
myQuickTest