You can search for identifiers within the package.
in-package search v0.2.0
The alt-ergo-common package is used for parsing the command line with cmdliner See
cmdliner
Alt_ergo_common.Parse_command