You can search for identifiers within the package.
in-package search v0.2.0
type left
type right
type eq
Detailed equality trace
type diff
Detailed difference trace
type state
environment of a partial patch