You can search for identifiers within the package.
in-package search v0.2.0
mopsa.mopsa_analyzer
Universal.Heap
module Policies : sig ... end
Policies for grouping heap addresses
module Recency : sig ... end
Abstraction of the heap