{α : Type u_1} →
  (motive : Batteries.PairingHeapImp.Heap α → Sort u_2) →
    (x : Batteries.PairingHeapImp.Heap α) →
      (Unit → motive Batteries.PairingHeapImp.Heap.nil) → ((x : Batteries.PairingHeapImp.Heap α) → motive x) → motive x