Source file coq_byte_config.ml

let toploop_use_silently ppf f = Toploop.use_silently ppf (Toploop.File f)
let compenv_handle_exit_with_status_0 f = try f () with Compenv.Exit_with_status(0) -> ()
let toploop_prep_and_loop fmt = ignore (Toploop.prepare fmt () : bool); Toploop.loop fmt