diff --git a/jscomp/others/dom.ml b/jscomp/others/dom.ml index 401a080f1..d6c78a23d 100644 --- a/jscomp/others/dom.ml +++ b/jscomp/others/dom.ml @@ -20,6 +20,15 @@ type _serviceWorker type serviceWorker = _serviceWorker eventTarget_like type _worker type worker = _worker eventTarget_like +type 'a _workerGlobalScope +type 'a workerGlobalScope_like = 'a _workerGlobalScope eventTarget_like +type workerGlobalScope = _baseClass workerGlobalScope_like +type _dedicatedWorkerGlobalScope +type dedicatedWorkerGlobalScope = _dedicatedWorkerGlobalScope workerGlobalScope_like +type _serviceWorkerGlobalScope +type serviceWorkerGlobalScope = _serviceWorkerGlobalScope workerGlobalScope_like +type _sharedWorkerGlobalScope +type sharedWorkerGlobalScope = _sharedWorkerGlobalScope workerGlobalScope_like (* nodes *) type 'a _node