let all_quiet t = if t then begin Util.Info.all_disabled (); Util.Warning.all_disabled (); Util.Debug.all_disabled (); List.iter Util.Progress.disable (Util.Progress.available ()) end