let eq_expr = Gram.Entry.mk "eq_expr"