fact: Example micro_fold_plus_x : ParametricExtraction #vars seq x #program ret (fold_left (@Word.wplus 32) seq x) #arguments [[`"seq" ->> seq as _]] :: [[`"x" ->> x as _]] :: Nil #env Microbenchmarks_Env.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup