let fun_def = Gram.Entry.mk "fun_def"