You can search for identifiers within the package.
in-package search v0.2.0
type policy = {
quantifiers : bool;
flavours : bool;
hide_fresh : bool;
kinds : string;
effect_sugar : bool;
}
val default_policy : unit -> policy