Символ потока не предназначен для Google, и я не вижу его нигде в документации (меньше двоеточия, а затем - "<:")

Question

Я пытаюсь понять кодовую базу babel и наткнулся на этот символ «<:», используемый с интерфейсами.Вот пример: </p>

interface BooleanLiteral <: Literal {
  type: "BooleanLiteral";
  value: boolean;
}

Это очень сложная вещь для Google, и после прочтения почти всех документов Flow я не могу найти описание этого символа.Кто-нибудь знает?

(Вы можете найти еще много примеров здесь: babel spec docs )

Answer 1

Синтаксис, используемый в документации AST Бабеля, просто выдуманный DSL , это не Flowtype.Бабель унаследовал его от ESTree .

interface BooleanLiteral <: Literal {}

, по существу объявляет новый тип BooleanLiteral, расширяющий Literal.