fact: Record RawQueryStructureSchema := { numRawQSschemaSchemas : nat; qschemaSchemas : Vector.t RawSchema numRawQSschemaSchemas; qschemaConstraints: list (sigT (crossRelationProdR qschemaSchemas)) }.
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