{"version":3,"file":"source.tla.d.ts","sourceRoot":"","sources":["source.tla.js"],"names":[],"mappings":";AAGA;;GAEG;AAEH,sBAAsB;AACtB,uBADW,OAAO,CAkFjB;6BArFyB,sBAAsB"}