fact: Definition RepSpec := Eval simpl in (Rep SchedulerSpec).
imports: Fiat.QueryStructure.Automation.MasterPlan Fiat.Examples.QueryStructure.ProcessScheduler CertifiedExtraction.Extraction.QueryStructures.Wrappers CertifiedExtraction.Extraction.QueryStructures.QueryStructures CertifiedExtraction.Extraction.QueryStructures.WrappersAreConsistent