-R src QuickChick
-I src
src/Int64.v
src/Prng.v
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/Typeclasses.v
src/DependentClasses.v
src/Decidability.v
src/Core.v
src/MutateCheck.v