Sort u →
  {V : Type u_1} →
    {G : SimpleGraph V} →
      {E : Type u_3} →
        [inst : MetricSpace E] →
          G.UnitDistEmbedding E →
            {V' : Type u_1} →
              {G' : SimpleGraph V'} → {E' : Type u_3} → [inst' : MetricSpace E'] → G'.UnitDistEmbedding E' → Sort u