let patt_tcon = Gram.Entry.mk "patt_tcon"