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. 打印到标准输出使用AppleScript
- 2. Django停止打印到标准输出
- 3. Subprocess.communicate打印换行到标准输出
- 4. subprocess.check_output仍然打印在标准输出
- 5. Python traceback.print_exc()打印到标准输出或标准错误吗?
- 6. MySQL查询打印为CSV输出到标准输出
- 7. Qt标准输出。 cout不打印
- 8. 从标准输入读取和打印到红宝石标准输出
- 9. 在NodeJS REPL中,如何打印到标准输出?
- 10. 如何在ghostscript中打印一个向量到标准输出
- 11. 如何在C++中打印缓冲区到标准输出?
- 12. 在python中打印postgresql表格到标准输出
- 13. 打印与编码到标准输出,在Python 3
- 14. 如何在ruby中将输出打印到标准输出时使用回调
- 15. 输出不打印没有fflush(标准输出)
- 16. 打印到IPython并行进程中的标准输出
- 17. 打印到标准输出的单元测试顺序
- 18. 如何使用python打印PDF文件到标准输出?
- 19. 从Perl XS扩展打印到标准输出
- 20. 当使用“mongo --eval”跳过打印到标准输出
- 21. Unicode,打印到标准输出,发生了什么?
- 22. Gdb打印到文件而不是标准输出
- 23. 打印STDOUT到文件和标准输出perl
- 24. 服务器打印到标准输出而不是套接字
- 25. 使用Python打印到标准输出上的特定行
- 26. Log4j不打印到文件或标准输出
- 27. bash中的round变量没有打印到标准输出
- 28. 如何永久地将子进程输出打印到标准输出。
- 29. Golang:查找将输出打印到标准输出的文件名和行号
- 30. 如何将Inkscape导出文件打印到标准输出并从标准输入读取