Hierarchy For Package dafny

Package Hierarchies:

• All Packages

Interface Hierarchy

• dafny.Function0<T0>
• dafny.Function1<T0,T1>
• dafny.Function2<T0,T1,T2>