You can search for identifiers within the package.
in-package search v0.2.0
Monomials are sets of literals with non-negative integer exponents. They form a monoid with respect to their multiplication.
module Make (Literal : Literal.S) : sig ... end