let
rec_binding_quot =
Gram
.
Entry
.mk
"quotation of record binding"