You can search for identifiers within the package.
in-package search v0.2.0
sqlgg.traits
Make.Evict
type 'a future = 'a Impl.IO.future
type key = string
type value = cache_entry
val on_evict : cache_entry -> unit Impl.IO.future