kframework - 在 K 中遍历评估上下文?
问题描述
上下文通常是一种形式#freezer_;__BILS-SYNTAX1_ ( ! _1 )
。我想编写一个遍历评估上下文的函数。一种模式如何匹配评估上下文并遍历它们?
编辑:举个例子,如果我想将到目前为止看到的评估上下文记录到文件中,我需要编写一个将评估上下文转换为字符串的函数,然后通过系统调用打印它。模式匹配评估上下文是否可行?或者,K 中是否有内置的“to-string”函数?
解决方案
推荐阅读
- github - 如何找到跨 github 存储库使用的 npm 模块版本?
- arrays - 如何在 PowerShell 中使用数组模式新名称重命名文件?
- mysql - 数据库 - 将时间表存储在每个工作日的一行或所有工作日的一行?
- python - 模拟类实例而不调用 __init__ 并模拟它们各自的属性
- reactjs - 如何限制表头在地图功能中显示一次?
- laravel - 撇号不能通过服务器端数据表单个列搜索进行搜索
- flutter - 按添加按钮后如何使我的文本输入消失?
- java - 有没有办法减少 JVM 的堆外开销?
- flutter - 更改 Flutter 桌面应用程序窗口大小
- python - PyTorch 的 DataLoader() 中的 next() 和 iter() 做了什么