fact: Definition Scheduler_DecomposeRep_well_behaved av qs_schema Index (rWrap : @RepWrapperT av (QueryStructureSchema.numRawQSschemaSchemas qs_schema) Schema.RawSchema (fun ns : Schema.RawSchema => SearchUpdateTerms (Schema.rawSchemaHeading ns)) (fun (ns : Schema.RawSchema) (_ : SearchUpdateTerms (Schema.rawSchemaHeading ns)) => @IndexedEnsembles.IndexedEnsemble (@RawTuple (Schema.rawSchemaHeading ns))) (QueryStructureSchema.qschemaSchemas qs_schema) Index) := (fun r r' : IndexedQueryStructure qs_schema Index => DecomposePrei3list_Agree _ _ rWrap (id r) (id r')).
imports: Fiat.QueryStructure.Automation.MasterPlan Fiat.Examples.QueryStructure.ProcessScheduler CertifiedExtraction.Extraction.QueryStructures.Wrappers CertifiedExtraction.Extraction.QueryStructures.QueryStructures CertifiedExtraction.Extraction.QueryStructures.WrappersAreConsistent