fact: Record Heading2 := { HeadingRaw2 :> RawHeading2; HeadingNames2 : Vector.t string (NumAttr2 HeadingRaw2) }.
imports: Coq.Lists.List Coq.Strings.String Coq.Logic.FunctionalExtensionality Coq.Sets.Ensembles Fiat.Common.ilist Fiat.Common.StringBound Coq.Program.Program Fiat.QueryStructure.Specification.Representation.Notations