-R src QuickChick
-I src
src/Tactics.v
src/Sets.v
src/Nat_util.v
src/RandomQC.v
src/RoseTrees.v
src/GenLowInterface.v
src/GenLow.v
src/GenHighInterface.v
src/GenHighImpl.v
src/GenHigh.v
src/Classes.v
src/Instances.v
src/CoArbitrary.v
src/StringOT.v
src/Show.v
src/ShowFacts.v
src/State.v
src/Checker.v
src/SemChecker.v
src/Test.v
src/ExtractionQC.v
src/Mutation.v
src/tactic_quickchick.ml4
src/quickchick_plugin.mlpack
src/Typeclasses.v
src/QuickChick.v
src/MutateCheck.v
src/genericLib.ml
src/genericLib.mli
src/error.ml
src/quickChick.ml4
src/driver.ml4
src/simplDriver.ml
src/depDriver.ml
src/setLib.ml
src/semLib.ml
src/coqLib.ml
src/weightmap.ml4
src/arbitrarySized.ml
src/arbitrarySizedST.ml
src/checkerSizedST.ml
src/DependentClasses.v
src/Decidability.v
src/genLib.ml
src/unify.ml
src/sizeUtils.ml
src/sized.ml
src/sizeMon.ml
src/sizeSMon.ml
src/sizeCorr.ml
src/sizedProofs.ml