You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.stm
Spawned
type chandescr =
| AnonPipe
| Socket of string * int * int
val main_channel : chandescr option ref
val control_channel : chandescr option ref
val init_channels : unit -> unit
val get_channels : unit -> CThread.thread_ic * out_channel
val process_id : unit -> string
Name of current process.