(📚) What do all the symbols mean in the output of `reveal_type`

Documentation

reveal_type("shaking")  # Literal["shaking"]?

reveal_type(int("1"))  # builtins.int*

from typing import TypeVar
T = TypeVar("T")
def foo(t: T) -> T:
    reveal_type(t)  # T`-1

What do all these wacky symbols mean *, ? and

`-1

I'm guessing there might be others as well.

I looked through the docs and couldn't find anything about it.

Also <: and :>, maybe also def(int) -> str and def().

Issue の reveal_type の例から始め、型表示の出力について既存の mypy ドキュメントを調べます。示されている記号の意味を判断し、対象に含めるべき追加の記号がないか特定します。ドキュメントで *, ?, -1, <:、:> を含む表記法が説明されていれば完了です。