You can search for identifiers within the package.
in-package search v0.2.0
binsec_sse_checkct
Engine.Metrics
module Exploration : Binsec_sse.Metrics.EXPLORATION
module Queries : Binsec_sse.Metrics.QUERY