import type PortalResult from "./PortalResult.js";
import type PortalUser from "./PortalUser.js";
export default interface PortalUsersResult extends PortalResult {
    total: number;
    start: number;
    num: number;
    nextStart: number;
    users: PortalUser[];
}