fact: Definition refineObserver {oldRep newRep} (AbsR : oldRep -> newRep -> Prop) (dom : list Type) (cod : option Type) (oldObserver : observerType oldRep dom cod) (newMethod : methodType newRep dom cod) := refineMethod AbsR (liftObserverToMethod oldObserver) newMethod.
imports: Fiat.QueryStructure.Automation.MasterPlan Bedrock.Memory