You can search for identifiers within the package.
in-package search v0.2.0
type step = {
label : string;
statement : string;
check_fk : bool;
}
type t = string * step list
val name : string
exception Exception of string
exception Dirty_migration
module type Sig = sig ... end