fact: Definition methodBody methodName (CUnit: {env : Env QsADTs.ADTValue & BuildCompileUnit2TSpec env AbsR' (fun r : Rep (fst (projT1 SharpenedScheduler)) => BagSanityConditions (prim_fst r)) (DecomposeIndexedQueryStructure' QsADTs.ADTValue (QueryStructureSchema.QueryStructureSchemaRaw SchedulerSchema) (icons3 SearchUpdateTerm inil3)) (DecomposeIndexedQueryStructurePre' QsADTs.ADTValue (QueryStructureSchema.QueryStructureSchemaRaw SchedulerSchema) (icons3 SearchUpdateTerm inil3) (Scheduler_RepWrapperT (icons3 SearchUpdateTerm inil3))) (DecomposeIndexedQueryStructurePost' QsADTs.ADTValue (QueryStructureSchema.QueryStructureSchemaRaw SchedulerSchema) (icons3 SearchUpdateTerm inil3) (Scheduler_RepWrapperT (icons3 SearchUpdateTerm inil3))) (QueryStructureSchema.numQSschemaSchemas SchedulerSchema) "ProcessSchedulerAX" "ProcessSchedulerOP" Scheduler_coDomainWrappers Scheduler_DomainWrappers (Scheduler_RepWrapperT (icons3 SearchUpdateTerm inil3)) (Scheduler_DecomposeRep_well_behaved QsADTs.ADTValue (QueryStructureSchema.QueryStructureSchemaRaw SchedulerSchema) (icons3 SearchUpdateTerm inil3) (Scheduler_RepWrapperT (icons3 SearchUpdateTerm inil3))) SharpenedRepImpl}) := match (StringMap.find methodName (Funs (module (projT1 (projT2 CUnit))))) with | Some dffun => Some (Body (Core (dffun))) | None => None end.
imports: Fiat.QueryStructure.Automation.MasterPlan Fiat.Examples.QueryStructure.ProcessScheduler CertifiedExtraction.Extraction.QueryStructures.Wrappers CertifiedExtraction.Extraction.QueryStructures.QueryStructures CertifiedExtraction.Extraction.QueryStructures.WrappersAreConsistent Bedrock.Platform.Facade.DFModule Bedrock.Platform.Facade.CompileUnit2