let patt_quot = Gram.Entry.mk "quotation of pattern"