2
A
回答
3
您需要先从term
中创建一个字符串,然后使用print
来打印该字符串。要将term
转换为字符串,可以定义如下的函数:
fun termToString (node (str, terms)) =
"node("^str^", "^termListToString terms^")"
| termToString (vnode str) =
"vnode("^str^")"
and termListToString terms =
"["^String.concatWith ", " (map termToString terms)^"]"
相关问题
- 1. epoll_wait()块打印到标准输出
- 2. Objective C打印标准输出到UIAlertView
- 3. 打印文件名到标准输出
- 4. 打印到标准输出使用AppleScript
- 5. 使用HiveQL打印到标准输出
- 6. Django停止打印到标准输出
- 7. Subprocess.communicate打印换行到标准输出
- 8. 打开文件,打印到标准输出,追加到文件,并再次打印到标准输出
- 9. subprocess.check_output仍然打印在标准输出
- 10. Python traceback.print_exc()打印到标准输出或标准错误吗?
- 11. MySQL查询打印为CSV输出到标准输出
- 12. 保存命令输出没有它打印到标准输出
- 13. Qt标准输出。 cout不打印
- 14. Haskell打印字符串标准输出
- 15. 如何在Linux(GCC)中打印输出(不是标准输出)?
- 16. 从标准输入读取和打印到红宝石标准输出
- 17. 在python中打印postgresql表格到标准输出
- 18. 如何在C++中打印缓冲区到标准输出?
- 19. 打印与编码到标准输出,在Python 3
- 20. 在NodeJS REPL中,如何打印到标准输出?
- 21. 如何在ghostscript中打印一个向量到标准输出
- 22. 如何在ruby中将输出打印到标准输出时使用回调
- 23. 从Python打印到标准打印机?
- 24. 输出不打印没有fflush(标准输出)
- 25. 打印标准输出,同时也打印到Python中的文本文件
- 26. Python,记录打印语句,同时让他们打印到标准输出
- 27. 打印unicode字符到标准输出python打印错误的字形
- 28. Gdb打印到文件而不是标准输出
- 29. Unicode,打印到标准输出,发生了什么?
- 30. 打印到标准输出与结果之间的空间?