fact: Definition Microbenchmarks_Carrier : Type := sum (list W) (list (list W)).
imports: CertifiedExtraction.Core CertifiedExtraction.FacadeUtils CertifiedExtraction.StringMapUtils CertifiedExtraction.Extraction.Internal CertifiedExtraction.Extraction.Extraction CertifiedExtraction.Benchmarks.Any Coq.NArith.NArith Coq.Program.Basics