the import should be something like `import static...
# getting-started
m
the import should be something like
import static package_of_your_extension_file.ExtensionsKt.mul