I have a python file that gets run in a customized way via a loader, such that it has additional global functions such as BoolVariable and classes such as Environment available.
I'd like to create stub type declarations for these so my pyright isn't cluttered with undefined warnings. Can pyright load a .pyi that's not tied to any particular module so I can define stubs for these top-level symbols?