fact: Definition Domain (heading : RawHeading) (idx : Attributes heading) : Type := Vector.nth (AttrList heading) idx.
imports: Coq.Vectors.Vector Coq.Vectors.Vector 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