@namespace("keybase.1")

protocol fs {

  record File {
    string path;
  }

  record ListResult {
    array<File> files;
  }

  /**
   List files in a path. Implemented by KBFS service.
   */
  @lint("ignore")
  ListResult List(int sessionID, string path);

}