You can search for identifiers within the package.
in-package search v0.2.0
current.term
Make.Executor
val run : 'a t -> 'a Output.t Current_incr.t
run t is the output value of t (i.e. without the static analysis part).
run t
t