import type { JsonValue, ResolvedMachineDef } from "../core/dsl.js"; export interface ParsedTlcGraph { initial: readonly string[]; states: ReadonlyMap; edges: readonly { from: string; to: string; action: string; }[]; } export declare const parseTlcDot: (machine: ResolvedMachineDef, source: string, actionLabels?: Readonly>) => ParsedTlcGraph;