Parameters

module Uid : Carton.UID

Signature

type status
val pp : Format.formatter -> status -> unit
val is_resolved : status -> bool
val uid_of_status : status -> Uid.t
val kind_of_status : status -> Carton.kind
val depth_of_status : status -> int
val source_of_status : status -> Uid.t option
val offset_of_status : status -> int64
val unresolved_base : cursor:int64 -> status
val unresolved_node : status
val verify : threads:int -> map:'fd W.map -> oracle:Uid.t oracle -> verbose:(unit -> unit) -> ('fd, Uid.t) t -> matrix:status array -> unit Lwt.t