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