fact: Example micro_randomize : ParametricExtraction #vars seq: list W #program fold_left (fun acc elem => ( a <- acc; r <- Any; ret (r :: a) )%comp) seq (ret nil) #arguments [[`"seq" ->> seq as _]] :: Nil #env Microbenchmarks_Env.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup