package docteur

You can search for identifiers within the package.

in-package search v0.2.0

A simple read-only Key/Value from Git to MirageOS

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (7)

Authors

R

Romain Calascibetta <romain.calascibetta@gmail.com>

Maintainers

R

Romain Calascibetta <romain.calascibetta@gmail.com>

Sources

docteur-0.0.4.tbz

sha256=0e261323b84639f7fc5d8ef11919c02f184d202e07e1b87f5a0d74939f79b6f8

sha512=11a78591a5e279b7e6ce0526b821206dbfbc4a4edb0d358701a7e5d0bd9a47194ab1449ecb0db7c4e8695e5a8c79e62ada87bb35179ab371fd57f539327a29f7

doc/docteur.analyze/Analyze/Verify/index.html

Module `Analyze.Verify`Source

Sourceval s : Scheduler.t Carton__.Sigs.scheduler

Sourcetype status

Sourceval pp : Format.formatter -> status -> unit

Sourceval is_resolved : status -> bool

Sourceval is_base : status -> bool

Sourceval uid_of_status : status -> SHA1.t

Sourceval kind_of_status : status -> [ `A | `B | `C | `D ]

Sourceval depth_of_status : status -> int

Sourceval source_of_status : status -> SHA1.t option

Sourceval offset_of_status : status -> int64

Sourceval unresolved_base : cursor:int64 -> status

Sourceval unresolved_node : status

Source

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