fact: Definition Domain2 (heading : RawHeading2) (idx : Attributes2 heading) : Type := Vector.nth (AttrList2 heading) idx.
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