Module B0_ui.Memo

module Memo: sig .. end
Memo interaction.

val jobs : ?docs:string -> ?env:Cmdliner.Arg.env -> unit -> int option Cmdliner.Term.t
jobs is a cli interface for specifying the maximal number of commands to spawn concurrently.
val max_spawn : jobs:int option -> unit -> int
max_spawn jobs determines a maximal number of spans. This is either, in order, jobs or B0_machine.logical_cpu_count or 1.
val pp_stats : B00.Memo.t B0_std.Fmt.t
pp_stats formats statistics about the memoizer.