Definition files for userdata

[PrincessRTFM]

I'm using an embedded lua interpreter in my project in order to allow users to write their own lua scripts to be executed on-demand. Since their scripts are designed to interact with my project, I register a number of APIs as userdata-type global variables in the script interpreter before loading the user's scripts. How can I write a definition file describing the exposed custom APIs, and mark the relevant globals as globals of the appropriate type?

[PrincessRTFM]

I figured it out. The annotated variable needs to be global, not local, that's all. Any functions can just be entirely empty since the file is only parsed for metadata.