fact: Example micro_push_random : ParametricExtraction #vars seq: list W #program ( r <- Any; ret (r :: seq) ) #arguments [[`"out" ->> seq as _]] :: Nil #env Microbenchmarks_Env.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup