fact: Definition OurRRecordTypes := [ "CNAME"; "A"; "NS"; "SOA"; "WKS"; "PTR"; "HINFO"; "MINFO"; "MX"; "TXT" ].
imports: Coq.Vectors.Vector Coq.ZArith.ZArith Coq.Strings.Ascii Coq.Strings.String Coq.Bool.Bool Coq.Vectors.Vector Coq.Lists.List Fiat.Common.BoundedLookup Fiat.Common.SumType Fiat.Common.EnumType Fiat.QueryStructure.Specification.Representation.Notations Fiat.QueryStructure.Specification.Representation.Heading Fiat.QueryStructure.Specification.Representation.Tuple Fiat.Narcissus.Formats.DomainNameOpt Bedrock.Word Bedrock.Memory