∀ {α : Type u_2} {γ : Type u_4} {β : α → Type u_6} [inst : (x : α) → OmegaCompletePartialOrder (β x)]
  [inst_1 : OmegaCompletePartialOrder γ] {f : γ → (x : α) → β x},
  OmegaCompletePartialOrder.ωScottContinuous f → ∀ (a : α), OmegaCompletePartialOrder.ωScottContinuous fun x => f x a