$ luarocks install --server=https://luarocks.org/m/tl-types <name>
Manifest for Teal types definition