dafny有关的问题


Dafny函数可以以与方法相同的方式返回两件事吗?

虽然方法可以返回由两个东西 (例如nats) 组成的一对。使用一个函数,我只能找到如何返回一个东西,即使这是一对 (nats)。这使我无法使用