Module Snark_work.Processing_time

val update : Core_kernel.Time.Span.t -> unit