fact: Definition LookupQSDelegateReps {n} (Reps : Vector.t Type n) (idx : Fin.t n) : Type := Vector.nth Reps idx.
imports: Coq.Strings.String Fiat.ADTRefinement.GeneralBuildADTTactics Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsOfTuples Fiat.QueryStructure.Specification.Representation.QueryStructureNotations Fiat.QueryStructure.Automation.AutoDB Fiat.Common.ilist3_pair Fiat.Common.ilist3 Fiat.Common.i3list2