Module Snark_work.Validation_time

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