You can search for identifiers within the package.
in-package search v0.2.0
coq_byte_config.ml
1 2 3 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
1 2 3
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