let opt_dot_dot = Gram.Entry.mk "opt_dot_dot"