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