let fun_binding = Gram.Entry.mk "fun_binding"