/home/username/.emacs.d/.local/straight/repos/snippets/coq-mode/unset_functional_induction_rewrite_dependent