Module Superbol_project.TYPES

type rootdir
type project = {
  1. rootdir : rootdir;
  2. config : Superbol_project__.Project_config.TYPES.config;
  3. config_filename : string;
}
type layout = {
  1. project_config_filename : string;
    (*

    Name of the TOML file that is to be found at the root of each project's directory tree.

    *)
  2. relative_work_dirname : string option;
    (*

    Relative name of a directory where the LSP should put its working files (caches, etc). No such storage is allowed when None.

    *)
  3. rootdir_fallback_policy : rootdir_fallback_policy;
    (*

    Policy to determine the root directory of projects based on individual filenames.

    *)
}
and rootdir_fallback_policy =
  1. | Same_as_file_directory
  2. | Given_directory of string
type cache_storage_location =
  1. | No_cache_storage
  2. | Store_cache_in_relative_dir of {
    1. relative_dirname : string;
      (*

      Name of cache directory, relative to project root directory.

      *)
    }
  3. | Store_cache_in_shared_dir of {
    1. dirname : string;
    }