Как называется многоточие в следующем коде потока и что они делают?
export type ListTypeNode = { +kind: 'ListType', +loc?: Location, +type: TypeNode, ... };
Это новый синтаксис в Flow, который в будущем будет указывать, что этот тип объекта является неточным (когда обычная аннотация по умолчанию будет точной аннотацией объекта).
ВВ нескольких выпусках Flow начнет воспринимать {foo: number} как точный объект. Чтобы указать неточность, вы должны добавить многоточие в конец типа объекта: {foo: number, ...}. Этот новый синтаксис заставляет разработчиков отказаться от неточности.
Подробнее см. Здесь: https://medium.com/flow-type/on-the-roadmap-exact-objects-by-default-16b72933c5cf