declare namespace Main {
    function public(): void;
}
declare namespace button {
    var textContent: string;
    function onclick(): void;
}