fact: Definition tupleAgree {h : RawHeading} (tup1 tup2 : @RawTuple h) attrlist := forall attr, List.In attr attrlist -> GetAttributeRaw tup1 attr = GetAttributeRaw tup2 attr.
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