∀ {α : Type u_1} {δ : Type u_4} {X : δ → Type u_6} [inst : MeasurableSpace α] [inst_1 : (a : δ) → MeasurableSpace (X a)]
  (f : α → (a : δ) → X a), (∀ (a : δ), Measurable fun c => f c a) → Measurable f