> this also seems a way to declare types for your own code in an external file, thus keeping your code as runnable Lua and benefiting from type checking too
The declaration file isn't used to typecheck the code the declaration is for. It is only for consumers of the code.
The declaration file isn't used to typecheck the code the declaration is for. It is only for consumers of the code.