{P : Sort u} →
  {V : Type u_1} →
    {G : SimpleGraph V} →
      {t : G.Dart} →
        {V' : Type u_1} →
          {G' : SimpleGraph V'} → {t' : G'.Dart} → V = V' → G ≍ G' → t ≍ t' → SimpleGraph.Dart.noConfusionType P t t'