fact: Fixpoint numed_contents {A : Type} (s : A -> string) (l : list A) (n : nat) : string := match l with | nil => ""%string | cons h t => show n ++ " : " ++ s h ++ nl ++ (numed_contents s t (S n)) end.
imports: QuickChick(QuickChick) List ZArith QuickChick.ifcbasic(Machine Generation) Coq.Strings.String