/**
* DevExtreme (renovation/pager/pager.types.d.ts)
* Version: 20.2.0 (build 20182-0310)
* Build date: Tue Jun 30 2020
*
* Copyright (c) 2012 - 2020 Developer Express Inc. ALL RIGHTS RESERVED
* Read about DevExtreme licensing here: https://js.devexpress.com/Licensing/
*/
/** Warning! This type is used for internal purposes. Do not import it directly. */
export declare type FullPageSize = { text: string; value: number };
/** Warning! This type is used for internal purposes. Do not import it directly. */
export declare type GetHtmlElement = { getHtmlElement: () => HTMLElement | undefined };

