/** Pause the execution for a given amount of milliseconds. */
export function delay(ms: number): Promise<void> {
    return new Promise((res): number =>
        setTimeout((): void => {
            res();
        }, ms)
    );
}