fact: Example micro_double : ParametricExtraction #vars seq #program ret (revmap (fun w => w ⊗ 2) seq) #arguments [[`"seq" ->> seq as _]] :: Nil #env Microbenchmarks_Env.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup