{P : Sort u_1} →
  {α : Type u} →
    {β : α → Type v} →
      {t : Std.DHashMap.Raw α β} →
        {α' : Type u} →
          {β' : α' → Type v} →
            {t' : Std.DHashMap.Raw α' β'} → α = α' → β ≍ β' → t ≍ t' → Std.DHashMap.Raw.noConfusionType P t t'