You can search for identifiers within the package.
in-package search v0.2.0
type param
type notified_value
val precheck : Hash.t -> param -> notified_value -> Disk_table.value option