let sem_patt = Gram.Entry.mk "sem_patt"