Module Jenga_lib.Special_paths.Dot_jenga

Files created in the .jenga sub-directory.

val prepare : unit ‑> unit

Prepares the directory for special files (mkdir -p .jenga). Not async because we do it very early (but after discover_root).

val debug : Path.Rel.t

val metrics : Path.Rel.t

val server : Path.Rel.t

val plugin_cache : Path.Rel.t

val db : version:string ‑> Path.Rel.t

val local_lock : Path.Rel.t

val matches : Path.t ‑> bool