fact: Example micro_sort_pair2 : ParametricExtraction #vars x y #program ret ((if x ≺ y then x else y) :: (if x ≺ y then y else x) :: nil) #arguments [[`"x" ->> x as _]] :: [[`"y" ->> y as _]] :: Nil #env Microbenchmarks_Env.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup