-R src QuickChick
-I plugin

plugin/quickChick.mlg
plugin/driver.mlg
plugin/tactic_quickchick.mlg
plugin/weightmap.mlg
plugin/quickchick_plugin.mlpack
plugin/genericLib.ml
plugin/genericLib.mli
plugin/error.ml
plugin/simplDriver.ml
plugin/depDriver.ml
plugin/setLib.ml
plugin/semLib.ml
plugin/coqLib.ml
plugin/arbitrarySized.ml
plugin/arbitrarySizedST.ml
plugin/checkerSizedST.ml
plugin/genLib.ml
plugin/unifyQC.ml
plugin/sizeUtils.ml
plugin/sized.ml
plugin/sizeMon.ml
plugin/sizeSMon.ml
plugin/sizeCorr.ml
plugin/sizedProofs.ml
plugin/compat.ml

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/Mutation.v
src/Typeclasses.v
src/QuickChick.v
src/MutateCheck.v
src/DependentClasses.v
src/Decidability.v
src/ExtractionQC.v
src/ExtractionQCCompat.v