úÎ7«4Ø     ?Given a label for a result-set, turns it into a CSV file name. %Currently this is done by prepending "bench-" and appending ".csv". OSorts a list of labels (not CSV file names) by their modification time, latest  first. LFinds all the results files in the working directory, and returns a list of  their labels.  LPrompts for a single item, using the given message, followed by some of the L list of suggestions. All suggestions are used to form the tab completion. < The result will be trimmed of leading and trailing spaces. !KPrompts for one or more comma-separated items, using the given message and O suggestions (some of which will be shown with the message). The results will N each be trimmed of leading and trailing spaces, and the whole list will have  empty items removed. "#MTrims leading and trailing spaces. Probably very inefficient, but it shouldn't  matter for our application.  !" !"$%&'MThe mode (RunAndGraph, by default), the run settings and the graph settings. RThe mode; just running and recording a benchmark, just graphing existing results, ; or running a benchmark and produce a graph (the default).  KThe settings for plotting graphs; which labels (besides the one created by M the current run, if applicable) to feature in the graph, and where to store " the file (plot.png, by default). The identity functor MThe settings for running benchmarks; which prefixes to run (empty list means C no preference, i.e. all -- not none) and where to put the result. ()JProcesses the given arguments (got from getArgs, typically) to adjust the P given default configuration, returning the resulting configuration. Exits the M whole program with an error if there is a problem, or if the user specified  -h6 (in which case it exits after printing the options).         *+,-./012PPlots to the given destination file (using its extension as the terminal type), : from the given CSV file, using the given list as labels. PPlots to the given destination file (using its extension as the terminal type),  the given list of labels. 3MJoins all the result files in the list into the given destination file ready @ to be fed to plotFile. If the list is empty, nothing is done. CIt returns the number of benchmarks that are in the resulting file 4Like > but you can specify the default configuration. Command-line M argument processing is still performed, and command-line settings will take ' precedence over the config passed in. JTakes the given benchmark (which is likely a benchmark group) and runs it T as part of Progression, recording the results and producing graphs. The Benchmark U type is imported from the Criterion library, so see the documentation for Criterion Z to find out what can be benchmarked and any issues that might arise in the benchmarking. PThis function will process the command-line arguments of the program, consuming I any progression arguments, and passing any arguments that occur after a "--" P argument on to Criterion. If you want to perform further argument processing, = it is best to do this before the call, and wrap the call in 5. 67      !"#$%&'()*+,-.//0123456789:progression-0.2Progression.FilesProgression.ConfigProgression.PlotProgression.MainProgression.Prompt makeFileNamefindResultFilesConfigcfgModecfgRuncfgGraphMode JustGraph RunAndGraphJustRun GraphSettingsgraphCompareTo graphFilename graphSize graphLogY graphOrderDefinitedefinite RunSettings runPrefixes runStoreAsoverride processArgs plotMultidefaultMainWith defaultMain specialPrefixsortByModificationTime promptOnepromptManyComma splitOnCommastrimOptMResultErrorShowHelp||*optionsFailMFineFail BoundedMean_meanLB_mean_meanUBplotFile joinMulti allPrefixesbaseSystem.EnvironmentwithArgsmainWith