fact: Definition liftObserverToMethod (rep : Type) (dom : list Type) (cod : option Type) (observer : observerType rep dom cod) := fun r => liftObserverToMethod' dom cod (observer r) r.
imports: Fiat.QueryStructure.Automation.MasterPlan Bedrock.Memory