(options: AdminUsersListOptions)
| 370 | /** Only the paging window — never the filters — reaches the SDK: the filters |
| 371 | * are resolved here, and the SDK's own `externalIds` is set by this file. */ |
| 372 | const pagingOf = (options: AdminUsersListOptions): AdminListSubjectsOptions => ({ |
| 373 | ...(options.limit === undefined ? {} : { limit: options.limit }), |
| 374 | ...(options.offset === undefined ? {} : { offset: options.offset }), |
| 375 | }); |
| 376 | |
| 377 | export const listUsers = ( |
| 378 | admin: ExecutorAdmin, |