fact: Definition UnConstrQuery_In {ResultT} {qsSchema} (qs : UnConstrQueryStructure qsSchema) (R : Fin.t _) (bod : RawTuple -> Comp (list ResultT)) := QueryResultComp (GetUnConstrRelation qs R) bod.
imports: Coq.Lists.List Coq.Strings.String Coq.Sets.Ensembles Coq.Sorting.Permutation Fiat.Computation.Core Fiat.ADT.ADTSig Fiat.ADT.Core Fiat.Common.Ensembles.IndexedEnsembles Fiat.Common.StringBound Fiat.ADTNotation.BuildADT Fiat.ADTNotation.BuildADTSig Fiat.QueryStructure.Specification.Representation.QueryStructureSchema Fiat.QueryStructure.Specification.Representation.QueryStructure Fiat.QueryStructure.Specification.Operations.FlattenCompList