{"library":"dafnyruntimepython","install":[{"cmd":"pip install dafnyruntimepython","imports":["from MyProgram_py import MyModule","from MyProgram_py._dafny import ..."]}]}