fact: Definition RecResolverSchema := Query Structure Schema [ relation sREQUESTS has schema RequestHeading; relation sSLIST has schema SLISTHeading; relation sCACHE has schema CacheHeading ] enforcing [ ].
imports: Fiat.Common.SumType Fiat.Computation.ListComputations Fiat.QueryStructure.Automation.AutoDB Fiat.Narcissus.Formats.DomainNameOpt Fiat.Narcissus.Examples.DNS.DNSPacket Bedrock.Word Bedrock.Memory