You can search for identifiers within the package.
in-package search v0.2.0
type guard = bool * string
val authorize : (bool * 'a) -> (unit, 'a) result
val any : (bool * 'a) list -> 'b -> (unit, 'b) result