Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val s : Scheduler.t Carton__.Sigs.scheduler
val pp : Stdlib.Format.formatter -> status -> unit
val is_resolved : status -> bool
val is_base : status -> bool
val kind_of_status : status -> [ `A | `B | `C | `D ]
val depth_of_status : status -> int
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