let enable_debug = function |0 -> () (* only warning messages : default *) |1 -> Util.Info.all_enabled () |_ -> begin Util.Info.all_enabled () ; Util.Debug.all_enabled () end