Up
Module
Progress
Signature
val
lstat_counter :
Effort.Counter.t
val
digest_counter :
Effort.Counter.t
val
ls_counter :
Effort.Counter.t
val
mkdir_counter :
Effort.Counter.t
val
saves_done :
Effort.Counter.t
val
actions_run :
Effort.Counter.t
val
saves_run :
Effort.Counter.t
val
considerations_run :
Effort.Counter.t
module
Status
: sig .. end
type
t
val
create :
Config.t
->
t
val
enqueue_job :
t
-> (unit -> 'a
Async.Std.Deferred.t
) -> 'a
Async.Std.Deferred.t
val
set_status :
t
->
Goal.t
->
Status.t
option -> unit
val
mask_unreachable :
t
-> is_reachable_error:(
Goal.t
-> bool) -> unit
module
Snap
: sig .. end
val
snap :
t
->
Snap.t
val
reset_effort : unit -> unit
val
readme : unit -> string