DafnyLanguageMode This is a language mode for using the Dafny language inside Visual Studio.