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