let
sem_patt_for_list =
Gram
.
Entry
.mk
"sem_patt_for_list"