∀ {α : Type u_1} {β : Type u_2} (p : α → β → Bool) (x : Batteries.AssocList α β),
  Batteries.AssocList.any p x =
    match x with
    | Batteries.AssocList.nil => false
    | Batteries.AssocList.cons k v es => p k v || Batteries.AssocList.any p es