fact: Example micro_fold_flatten_rev : ParametricExtraction #vars seqs #program ret (fold_left (fun acc seq => fold_left (fun acc' x => x :: acc') seq acc) seqs nil) #arguments [[`"seqs" ->> seqs as _]] :: Nil #env Microbenchmarks_Env.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup