You can search for identifiers within the package.
in-package search v0.2.0
val deriv : Kat.expr' Kat.mem -> Kat.expr' -> Kat.expr' Kat.node Kat.span
val dfa : unit -> (Kat.expr', Kat.var, Bdd.key, Bdd.formula) Automata.sdfa