You can search for identifiers within the package.
in-package search v0.2.0
val get_repr : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> Sign_product.t option