package docteur

You can search for identifiers within the package.

in-package search v0.2.0

package docteur

docteur.analyze
- Analyze
  - Lwt_scheduler
    
    Condition
    
    Mutex
  - SHA1
  - Scheduler
  - Verify

Legend:
Library
Module
Module type
Parameter
Class
Class type

val s : Scheduler.t Carton__.Sigs.scheduler

type status

val pp : 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 -> [ `A | `B | `C | `D ]

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 -> pos:int64 -> int -> Bigstringaf.t) ->
  oracle:SHA1.t Carton__Dec.oracle ->
  verbose:(unit -> unit) ->
  ('fd, SHA1.t) Carton__Dec.t ->
  matrix:status array ->
  unit Lwt_scheduler.t