fact: Example micro_increment_zeroes : ParametricExtraction #vars (seq: list W) #program ( ret (fold_left (fun acc w => (if w == W0 then W1 else w) :: acc) seq nil) ) #arguments [[`"seq" ->> seq as _]] :: Nil #env Microbenchmarks_Env.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup