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.