{"version":3,"file":"text.dfy.dafny.d.ts","sourceRoot":"","sources":["text.dfy.dafny.js"],"names":[],"mappings":";AAKA;;GAEG;AAEH,sBAAsB;AACtB,uBADW,OAAO,CAmIjB;6BAtIyB,sBAAsB"}