标签： dafny
我想在几个程序中重用相同的Dafny代码。是否可以在另一个中包含一个Dafny文件？该手册没有描述任何方法。
答案 0 :(得分：0)
是的，2013年12月对“包含”声明的支持为added to Dafny，语法为：
include "Includee.dfy"