Module Search.Make

Parameters

module S : sig ... end

Signature

module Store = S
type pred = [
| `Commit of Store.Hash.t
| `Tag of string * Store.Hash.t
| `Tree of string * Store.Hash.t
| `Tree_root of Store.Hash.t
]
val pred : Store.t -> ?⁠full:bool -> Store.Hash.t -> pred list Lwt.t
type path = [
| `Tag of string * path
| `Commit of path
| `Path of string list
]
val mem : Store.t -> Store.Hash.t -> path -> bool Lwt.t
val find : Store.t -> Store.Hash.t -> path -> Store.Hash.t option Lwt.t