You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.lib
NewProfile.MiniJson
type t = [
| `Intlit of string
| `String of string
| `Assoc of (string * t) list
| `List of t list
]
Subtype of Yojson.Safe.t
val pr : Format.formatter -> t -> unit