姬長信(Redy)

单元测试-在OCaml中为模块编写单元测试的正…


我在module.mli文件中有给定的接口规范.我必须在module.ml文件中编写其实现.

module.mli提供了一种抽象类型

type abstract_type

我正在使用OUnit创建测试.我需要在其中使用该类型的实现. (例如,比较值)一种解决方案是扩展接口以包含测试中使用的其他功能.

但是是否可以在不修改接口的情况下做这样的事情?