You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.clib
Make.Data
type t
val nil : t
val is_nil : t -> bool
val add : t -> t -> t
val sub : t -> t -> t