declare module 'ddmt-tool' { // Tool/animate.js export function animateStart(event: HTMLElement, className: string, forceExecute?: boolean): void; export function setClassVar(varName: string, value: string): void; export function getClassVar(varName: string): String; // Tool/number.js export function randomNum(minNum: number): number; export function randomNum(minNum: number, maxNum: number): number; export function nextArray(arr: any[], index: number): any[]; }