// Hack to move GGBApplet into the global namespace
// (since we are getting it from a script)
import {GGBApplet as moduleGGBApplet} from './geotypes/entry.ts'
declare global {
class GGBApplet extends moduleGGBApplet {
}