dafny
Interfaces
Function0
Function1
Function2