You can search for identifiers within the package.
in-package search v0.2.0
binsec.smt
Smt.Smt_bitwuzla_utils
val watchdog : timeout:int -> (?interrupt:((float -> int) * float) -> 'b) -> 'b