export type NodeID = number;
export type Kind = number;
export interface GraphTraits<Node> {
    nodesItor(): IterableIterator<Node>;
    getGraphName(): string;
    getNode(id: NodeID): Node | undefined;
    getNodeID(node: Node): NodeID;
    succ(id: NodeID): NodeID[];
}
//# sourceMappingURL=GraphTraits.d.ts.map