let class_fun_binding = Gram.Entry.mk "class_fun_binding"