You can search for identifiers within the package.
in-package search v0.2.0
Generic mergeable type
type elt
Type of the elements
val empty : elt
Empty value
val merge : elt -> elt -> elt
How to merge two elements