Module Git_searchSource

module SHA1 = Digestif.SHA1
Sourcemodule Log : sig ... end
Sourcetype pred = [
  1. | `Commit of SHA1.t
  2. | `Tag of string * SHA1.t
  3. | `Tree of string * SHA1.t * Git_store.Tree.perm
  4. | `Tree_root of SHA1.t
]
Sourceval pred : Git_store.t -> SHA1.t -> [> `Commit of Digestif.SHA1.t | `Tag of string * Git_store.Tag.SHA1.t | `Tree of string * Digestif.SHA1.t * Git_store.Tree.perm | `Tree_root of Digestif.SHA1.t ] list Lwt.t
Sourcetype path = [
  1. | `Tag of string * path
  2. | `Commit of path
  3. | `Path of string list
]
Sourceval find_tree_root : pred list -> SHA1.t option
Sourceval find_tag : 'a -> [> `Tag of 'a * 'b ] list -> 'b option
Sourceval find_tree : 'a -> [> `Tree of 'a * 'b * 'c ] list -> ('b * 'c) option
Sourceval find : Git_store.t -> SHA1.t -> ([< `Commit of 'a | `Path of string list | `Tag of string * 'a Path ] as 'a) -> (Git_store.Tree.perm * SHA1.t) option Lwt.t
Sourceval mem : Git_store.t -> SHA1.t -> ([< `Commit of 'a | `Path of string list | `Tag of string * 'a Path ] as 'a) -> bool Lwt.t