import { MonacoProblems } from '.';
declare global {
    interface HTMLElementTagNameMap {
        ['nve-monaco-problems']: MonacoProblems;
    }
}