let class_fun_def = Gram.Entry.mk "class_fun_def"