You can search for identifiers within the package.
in-package search v0.2.0
import.ml
1 2 open! Core include Int.Replace_polymorphic_compare
1 2
open! Core include Int.Replace_polymorphic_compare