You can search for identifiers within the package.
in-package search v0.2.0
type property
val bottom : property
val equal : property -> property -> bool
val is_maximal : property -> bool