/**
* DevExtreme (renovation/ui/pager/common/types.d.ts)
* Version: 20.2.4 (build 20360-0315)
* Build date: Fri Dec 25 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 interface FullPageSize { text: string; value: number }
