{motive : Mathlib.Tactic.Widget.StringDiagram.AtomNode → Sort u} →
  (t : Mathlib.Tactic.Widget.StringDiagram.AtomNode) →
    ((vPos hPosSrc hPosTar : ℕ) →
        (atom : Mathlib.Tactic.BicategoryLike.Atom) →
          motive { vPos := vPos, hPosSrc := hPosSrc, hPosTar := hPosTar, atom := atom }) →
      motive t