Per @daslu 's suggestion on #2 , it's a good idea to add type hints to avoid java reflection warnings.
Solution
Activates reflection warnings and adds type hints where needed. One challenging fn to type was the make-index function. I had to ask a question in stackoverflow in the end to understand how to type it! (See here)
Goal / Purpose
Per @daslu 's suggestion on #2 , it's a good idea to add type hints to avoid java reflection warnings.
Solution
Activates reflection warnings and adds type hints where needed. One challenging fn to type was the
make-index
function. I had to ask a question in stackoverflow in the end to understand how to type it! (See here)