The enhanced hover handler prints a symbol's parameter list and then also prints the full type of the symbol after the colon. Parameters displayed before the colon are also represented in the function type after the colon.
For example, the hover for the List type shows:
List.{u} (α : Type u) : Type u → Type uThis seems to say that List : Type → Type → Type.
The notation as shown in the infoview and elsewhere is instead:
List.{u} (α : Type u) : Type u
The enhanced hover handler prints a symbol's parameter list and then also prints the full type of the symbol after the colon. Parameters displayed before the colon are also represented in the function type after the colon.
For example, the hover for the
Listtype shows:List.{u} (α : Type u) : Type u → Type uThis seems to say that
List : Type → Type → Type.The notation as shown in the infoview and elsewhere is instead:
List.{u} (α : Type u) : Type u