You can search for identifiers within the package.
in-package search v0.2.0
smart
Smart.Have
type 'uid t = private 'uid list * [ `Done | `Flush ]
val have : cmd:[ `Done | `Flush ] -> 'uid list -> 'uid t