我正在尝试使用TypeScript编译器tsc对标注正确的JavaScript文件进行类型检查。该文件使用了通过其他脚本加载的几个全局变量，为简单起见，我们将仅使用一个全局变量L（用于Leaflet）。
首先，我运行命令：
tsc --allowJs --checkJs mysource.js --outfile out.js --lib dom,es2015
哪个产生输出：
mysource.js:15:15 - error TS2304: Cannot find name 'L'.
15 const myMap = L.map('mapid')
在这种情况下，L是一个全局变量，是我在HTML文件中较早导入Leaflet JavaScript代码时定义的。
诸如StandardJS之类的其他工具提供了声明全局变量的语法，但是我不知道如何使用tsc来实现。就标准而言，我只有一行指出：
/* global L */
要清楚，我没有使用tsc，因为我使用的是TypeScript，我之所以只使用它是因为它具有对JavaScript源文件进行类型检查的能力。我只想再检查一下以确保我的类型在我的JavaScript文件中匹配。