Question

我试图使用适用于Z3的OCaml API来表达以下函数声明：

(declare-fun ctrl_p ((Int)) String)

但是，我在documentation中找不到合适的mk_sort功能。是否有任何建议的解决方法？

感谢。

Answer 1

您是否已经需要此功能？字符串功能是全新的，只是为其他API提供。对于OCaml，我们还在处理修复GC交互。当然欢迎您提供拉动请求。