export declare const StartEventConfig: { width: number; height: number; }; export declare const EndEventConfig: { width: number; height: number; }; export declare const ExclusiveGatewayConfig: { width: number; height: number; }; export declare const ServiceTaskConfig: { width: number; height: number; }; export declare const UserTaskConfig: { width: number; height: number; }; export declare const theme: { rect: { radius: number; stroke: string; }; circle: { r: number; stroke: string; }; polygon: { stroke: string; }; polyline: { stroke: string; hoverStroke: string; selectedStroke: string; }; edgeText: { background: { fill: string; height: number; stroke: string; radius: number; }; }; };