You can search for identifiers within the package.
in-package search v0.2.0
type result = {
program : Ir.program;
datatype : Types.datatype;
context : Context.t;
}
val program : Context.t -> Types.datatype -> Ir.program -> result