Ah that makes sense. It’s a lot like TypeScript then really. I’m glad you linked me there because I’ve been scouring the DevForum for documentation on Luau typings and trying to figure it out based on replies!
This needs to be an entry on the Developer Hub.