{α : Type u_1} →
  {β : Type u_2} →
    (motive : Lean.AssocList α β → Sort u_3) →
      (x : Lean.AssocList α β) → (Unit → motive Lean.AssocList.nil) → ((x : Lean.AssocList α β) → motive x) → motive x