UNPKG

theia-sprotty

Version:

Glue code for sprotty diagrams in a Theia IDE

7 lines 284 B
import { SModelElement } from "sprotty/lib"; export declare const traceFeature: unique symbol; export interface Traceable { trace: string; } export declare function isTraceable<T extends SModelElement>(element: T): element is Traceable & T; //# sourceMappingURL=traceable.d.ts.map