You can search for identifiers within the package.
in-package search v0.2.0
type filename = string
type position = {
off : int;
len : int;
}