Что означает:: (двойное двоеточие) в Ocaml

Question

formal_list: тип ID { [($1,$2)] } | formal_list Идентификатор типа COMMA { ($3,$4):: $1 }

как это то, что означает это:: Как a:: b это означает, что добавить a к b

Answer 1

:: Оператор создает список. Слева находится элемент списка (голова), справа - список (хвост). Оператор является ассоциативным справа, поэтому вы можете написать: 3 :: 4 :: [], [] это пустой список.