fact: Example micro_double_larger_than_random : ParametricExtraction #vars seq #program ( threshold <- Any; ret (revmap (fun w => if threshold ≺ w then w ⊗ 2 else w) seq) ) #arguments [[`"seq" ->> seq as _]] :: Nil #env Microbenchmarks_Env.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup