fact: Definition EqualityIndex : string := "EqualityIndex".
imports: Coq.Lists.List Coq.Program.Program Coq.Bool.Bool Coq.Strings.String Fiat.Common.ilist Fiat.Common.ilist2 Fiat.Common.ilist3 Fiat.Common.DecideableEnsembles Fiat.Common.StringBound Fiat.ADTNotation Fiat.ADTRefinement Fiat.QueryStructure.Specification.Representation.Notations Fiat.QueryStructure.Specification.Representation.Heading Fiat.QueryStructure.Specification.Representation.Tuple Fiat.QueryStructure.Specification.Representation.QueryStructureSchema Fiat.QueryStructure.Specification.Representation.QueryStructure Fiat.QueryStructure.Implementation.DataStructures.BagADT.QueryStructureImplementation Fiat.ADTRefinement.BuildADTRefinements.HoneRepresentation