You can search for identifiers within the package.
in-package search v0.2.0
kkmarkdown.lib
Lib.Trans
Translate lines of string
val run : unsafe:bool -> string list -> Typ.t