let patt = Gram.Entry.mk "patt"