fact: Definition SchedulerSpec : ADT _ := Def ADT { rep := QueryStructure SchedulerSchema, Def Constructor0 "Init" : rep := empty,, Def Method0 "foo" (r : rep) : rep := ret r }%methDefParsing.
imports: Fiat.QueryStructure.Automation.MasterPlan Bedrock.Memory