You can search for identifiers within the package.
in-package search v0.2.0
trs
trs is a parsing library for the TRS format, the format for first-order rewrite systems.