You can search for identifiers within the package.
in-package search v0.2.0
byte_config
Coq_byte_config
val toploop_use_silently : Stdlib.Format.formatter -> string -> bool
val compenv_handle_exit_with_status_0 : (unit -> unit) -> unit
val toploop_prep_and_loop : Stdlib.Format.formatter -> unit