import { ProblemRepository as Service } from './repository'; declare const SERVICE_NAME = "problemRepository"; declare module '../core/platform' { interface PlatformServiceNameType { /** * @see {@link Service | ProblemRepository} */ ProblemRepository: typeof SERVICE_NAME; } interface LimeWebComponentPlatform { get(name: PlatformServiceNameType['ProblemRepository']): Service; } } export {};