You can search for identifiers within the package.
in-package search v0.2.0
type tag =
| Msg of lazy_msg
| Tactic of lazy_msg
| Dispatch
| DBranch
type state = tag Trace.incr
type tree = tag Trace.forest
val print : tree -> Pp.std_ppcmds
val collapse : int -> tree -> tree