import { ControllerGeneratorOptionsWithoutClientOrSupplier } from '../../comms/controller'; import { UserEnvironmentSettings } from '../../models/user-environment-settings'; import { Environment } from '../../models/environment'; import { User } from '../../models/user'; interface Request { body: { assertion: string; }; } interface Response { jwt: string; user: User; environment?: Environment; environmentRights?: string[]; userEnvironmentSettings?: UserEnvironmentSettings; } declare const controllerGeneratorOptions: ControllerGeneratorOptionsWithoutClientOrSupplier; export { controllerGeneratorOptions, Request, Request as EffectiveRequest, Response, };