fact: Example micro_plus : ParametricExtraction #vars x y #program ret (x ⊕ y) #arguments [[`"x" ->> x as _]] :: [[`"y" ->> y as _]] :: Nil #env Microbenchmarks_Env.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup