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