import { DataFilter } from '../model/DataFilter';
export declare type PositionFilter = DataFilter<number>;