2

我想在多个程序中重用相同的 Dafny 代码。是否可以将一个 Dafny 文件包含在另一个文件中？该手册没有描述任何方法。

4

1 回答 1

1

是的，在 2013 年 12 月，对“包含”语句的支持被添加到 Dafny中，语法是：

include "Includee.dfy"
于 2014-04-02T13:20:28.107 回答