fact: Definition allAttributes heading : list (Attributes heading) := BuildFinUpTo (NumAttr heading).
imports: Coq.Lists.List Fiat.QueryStructure.Specification.Representation.Heading Fiat.QueryStructure.Specification.Representation.Tuple Fiat.QueryStructure.Specification.Representation.QueryStructure