小编jan*_*oor的帖子

正式列表：类型 ID { [($1,$2)] } | formal_list 逗号典型 ID { ($3,$4) :: $1 }

运算符是什么::意思？比如：a :: b 我们把a加b的意思是什么呢？