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 : Jenga_lib.Path.Rel.t
val metrics : Jenga_lib.Path.Rel.t
val server : Jenga_lib.Path.Rel.t
val plugin_cache : Jenga_lib.Path.Rel.t
val db : version:string ‑> Jenga_lib.Path.Rel.t
val local_lock : Jenga_lib.Path.Rel.t
val matches : Jenga_lib.Path.t ‑> bool