fact: Record RawSchema := { rawSchemaHeading : RawHeading; attrConstraints: option (@RawTuple rawSchemaHeading -> Prop); tupleConstraints: option (@RawTuple rawSchemaHeading -> @RawTuple rawSchemaHeading -> Prop) }.
imports: Coq.Lists.List Coq.Strings.String Coq.Logic.FunctionalExtensionality Coq.Sets.Ensembles Fiat.Common.StringBound Fiat.QueryStructure.Specification.Representation.Notations Fiat.QueryStructure.Specification.Representation.Heading Fiat.QueryStructure.Specification.Representation.Tuple