fact: Definition DnsCacheAsCollectionOfVariables {av} veMap vdMap voffs (c: DnsMap.CacheT) : Telescope av := [[ veMap ->> c.(DnsMap.eMap) as _ ]] :: [[ vdMap ->> c.(DnsMap.dMap) as _ ]] :: [[ voffs ->> c.(DnsMap.offs) as _ ]] :: Nil.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup CertifiedExtraction.Extraction.BinEncoders.BinEncoders Coq.Program.Program