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.7.tbz

sha256=8bfdbcbb49e668f115634cb5923e72e0faeb21efcf76e996d8c59719f3c50458

sha512=d3a1c1cae65db8ab0e9e986bef0bf1720a30f60af5ee4cbb7808483f9a8a9deffbb30271c12dbcfcd76655273efeb570a1aea9da7a8846fa52a0f335493a8652

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