fact: Definition GetNRelSchemaHeading {n} (namedSchemas : Vector.t RawSchema n) (idx : Fin.t n) := rawSchemaHeading (GetNRelSchema namedSchemas idx).
imports: Coq.Lists.List Coq.Strings.String Fiat.Common Coq.Arith.Arith Coq.Logic.FunctionalExtensionality Coq.Sets.Ensembles Fiat.Common.StringBound Fiat.QueryStructure.Specification.Representation.Notations Fiat.QueryStructure.Specification.Representation.Heading Fiat.QueryStructure.Specification.Representation.Tuple Fiat.QueryStructure.Specification.Representation.Schema Fiat.QueryStructure.Specification.Representation.Relation