ligo/src/lib_shell/protocol_directory.mli