You can search for identifiers within the package.
in-package search v0.2.0
Path checking
type path_checker
val create : t -> path_checker
val check_path : path_checker -> V.t -> V.t -> bool