{"version":3,"file":"theia.d.ts","sourceRoot":"","sources":["../src/theia.ts"],"names":[],"mappings":""}