Module Search.Make

Parameters

module Hash : Digestif.S
module Store : sig ... end

Signature

type hash = Hash.t
type store = Store.t
type pred = [
  1. | `Commit of hash
  2. | `Tag of string * hash
  3. | `Tree of string * hash
  4. | `Tree_root of hash
]
val pred : store -> ?full:bool -> hash -> pred list Lwt.t
type path = [
  1. | `Tag of string * path
  2. | `Commit of path
  3. | `Path of string list
]
val mem : store -> hash -> path -> bool Lwt.t
val find : store -> hash -> path -> hash option Lwt.t