let
label_ipatt_list =
Gram
.
Entry
.mk
"label_ipatt_list"