Для чего используется «*» в этом примере?

Question

Я пытаюсь выяснить, как спроектировать тип для деревьев в F # и искал эту ветку для некоторой помощи. Представление дерева в F # .

В нем они определяют:

type Tree =
  | Branch of string * Tree list
  | Leaf of string

Я не уверен, что должен делать оператор * между строкой и деревом.Я видел это повсюду, но не знаю, что искать, чтобы найти ответ.

Спасибо!

Answer 1

Это имя типа кортежа из Документация Microsoft

Имена типов кортежей

Когда вы пишете имятипа, который является кортежем, вы используете символ * для разделения элементов.Для кортежа, который состоит из int, float и строки, такой как (10, 10.0, "ten"), тип будет записан следующим образом.

int * float * string

Answer 2

В объявлениях типов * (звездочка) обозначает спаривание в кортеже:

https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/tuples#names-of-tuple-types