third_party/devtools/node_modules/rxjs/operator/timestamp.d.ts

export * from 'rxjs-compat/operator/timestamp';