fact: Definition QSGetNRelSchema (QSSchema : QueryStructureSchema) (idx : BoundedString (QSschemaNames QSSchema)) := Vector.nth (QSschemaSchemas QSSchema) (ibound (indexb 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