<@U3669PPNG> not for extension functions, there is...
# getting-started
o
@nkiesel not for extension functions, there is no general database of all types and their members in JVM, for example