These API-headers are made for lua-language-server.
For lua-language-server configuration, see LuaLS Wiki on configuring libraries.