Well, \* can already mean any of "pointer to" (in type context), "dereference" (...

xiaq on March 25, 2022 | parent | context | favorite | on: An Introduction to Generics

Well, * can already mean any of "pointer to" (in type context), "dereference" (as a unary prefix operator) or "multiplication" (as a binary operator)...