You can search for identifiers within the package.
in-package search v0.2.0
apronext
This package provides an extension for the ocaml interface of the apron library. It is meant to make its use easier, efficiency is not the purpose.