let opt_eq_ctyp = Gram.Entry.mk "opt_eq_ctyp"