fact: Fixpoint observerType' (rep : Type) (dom : list Type) (cod : option Type) {struct dom} : Type := match dom with | [] => match cod with | Some cod' => Comp cod' | None => Comp unit end | d :: dom' => d -> observerType' rep dom' cod end.
imports: Fiat.QueryStructure.Automation.MasterPlan Bedrock.Memory