/**
 * Implements `RemoveDirectory(path)` operation.
 * Send this message to remove a directory. The directory
 * should already exist and be empty.
 */
message RemoveDirectory {
  string path = 1;
}