You can search for identifiers within the package.
in-package search v0.2.0
asli.libASL
Tcheck.Operator2
type t = LibASL.Asl_utils.AST.binop
val compare : 'a -> 'a -> int