What it a "τ_0_0"?

The compiler converts generic parameters into the format τ_{DepthOfParameter}_{ParameterIndex} (IIRC: it could be reversed) so τ_0_0 means the first generic parameter at top level. eg. the T in Foo<T>.

But these should not appear in documentation.

4 Likes