/**
* DevExtreme (mobile/hide_top_overlay.d.ts)
* Version: 20.1.2
* Build date: Mon Apr 06 2020
*
* Copyright (c) 2012 - 2020 Developer Express Inc. ALL RIGHTS RESERVED
* Read about DevExtreme licensing here: https://js.devexpress.com/Licensing/
*/
/** Hides the last displayed overlay widget. */
export default function hideTopOverlay(): boolean;
