You can search for identifiers within the package.
in-package search v0.2.0
herdtools7.asllib
Instrumentation.TypingSingleSetInstr
val use : typing_rule -> unit
val use_with : 'a -> typing_rule -> 'a