fact: Fixpoint showCollectStatistics (l : list (string * nat)) := match l with | nil => "" | cons (s,n) l' => show n ++ " : " ++ s ++ newline ++ showCollectStatistics l' end.
imports: mathcomp.ssreflect.ssreflect mathcomp(ssrnat ssrbool eqtype div) ExtLib(Structures.Monad) SimpleIO(SimpleIO) QuickChick(RoseTrees RandomQC Generators Producer SemChecker) QuickChick(Show Checker State Classes) Coq.Strings.Ascii Coq.Strings.String List Recdef Arith.EqNat ZArith