func graph(nfa: Nfa): string {....raises: [], tags: [].}

func graph(regex: Regex): string {....raises: [], tags: [].}

func graphToFile(regex: Regex; dir: string) {....raises: [], tags: [WriteIOEffect].}