package docteur

You can search for identifiers within the package.

in-package search v0.2.0

package docteur

docteur.analyze
- Analyze
  - SHA1
  - Verify

Legend:
Library
Module
Module type
Parameter
Class
Class type

val s : Scheduler.t Carton__.Sigs.scheduler

type status = Carton__Dec.Verify(SHA1)(Scheduler)(Lwt_scheduler).status

val pp : Stdlib.Format.formatter -> status -> unit

val is_resolved : status -> bool

val is_base : status -> bool

val uid_of_status : status -> SHA1.t

val kind_of_status : status -> Carton__.Sigs.kind

val depth_of_status : status -> int

val source_of_status : status -> SHA1.t option

val offset_of_status : status -> int64

val unresolved_base : cursor:int64 -> status

val unresolved_node : status

val verify : 
  threads:int ->
  map:'fd Carton__Dec.W.map ->
  oracle:SHA1.t Carton__Dec.oracle ->
  verbose:(unit -> unit) ->
  ('fd, SHA1.t) Carton__Dec.t ->
  matrix:status array ->
  unit Lwt_scheduler.t