代码之家 › 专栏 › 技术社区 › lexicalscope

在另一个文件中包含一个Dafny文件

dafny

3

lexicalscope · 技术社区 · 10 年前

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

1 回复 | 直到 10 年前

1

2

lexicalscope 10 年前

是的,2013年12月,支持“包含”声明 added to Dafny ,语法为:

include "Includee.dfy"