Module Jenga_lib.Build

This module is the part of jenga that interprets the Dep monad, by running actions in topological order of dependency, rerunning as needed, creating the persistent state etc. This module is not meant to be used directly, except for the Jr_spec type.

module Jr_spec : sig ... end

val build_forever : Config.t ‑> Progress.t ‑> jr_spec:Jr_spec.t ‑> top_level_goals:Goal.t list ‑> Fs.t ‑> Persist.t ‑> save_db_now:(unit ‑> unit Async.Deferred.t) ‑> when_rebuilding:(unit ‑> unit Async.Deferred.t) ‑> Core.Nothing.t Async.Deferred.t

val exit_code_upon_control_c : int Core.ref