fact: Definition CacheHeading := < sTTL :: timeT, sCACHETYPE :: CacheType, sDOMAIN:: DomainName, sQTYPE :: CachedQueryTypes, sCACHEDVALUE :: CachedValue >.
imports: Fiat.Common.SumType Fiat.Computation.ListComputations Fiat.QueryStructure.Automation.AutoDB Fiat.Narcissus.Formats.DomainNameOpt Fiat.Narcissus.Examples.DNS.DNSPacket Bedrock.Word Bedrock.Memory