You can search for identifiers within the package.
in-package search v0.2.0
val create : Egraph.wt -> (Egraph.wt -> Ground.t -> unit) -> Ground.t -> unit
call the given function when all the arguments of the ground term have a value