let antiquot_patt = Gram.Entry.mk "antiquot_patt"