"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.ExtensionDocumentManagerProxy = void 0;
exports.ExtensionDocumentManagerProxy = Symbol('ExtensionDocumentManagerProxy');
//# sourceMappingURL=doc.js.map