ligo/src/lib_shell/worker_directory.mli