在JavaScript中接口关键字和“@@”的正确用法是什么？

interface

是一个JavaScript关键字，

@

我经常在描述ES6新类型的资料中看到

例如：

这只是个比喻吗？

接口

和

@

是什么意思/或者在文档/规范/功能提案中找到正确的用法是什么

interface Observable {
  Generator @@observer(Generator observer)
}

interface Iterable {
  Generator @@iterator()
}