package carton

  1. Overview
  2. Docs

Parameters

module Uid : sig ... end
module Scheduler : sig ... end
module IO : sig ... end

Signature

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 -> Uid.t
val kind_of_status : status -> [ `A | `B | `C | `D ]
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 IO.t