(dirs :standard \ rocq sail_lsp)
