You can search for identifiers within the package.
in-package search v0.2.0
OCanren
Nat.html_t_t
constraint 'extra_t = 'a t
method c_O : unit -> 'extra_t -> HTML.er
method c_S : unit -> 'extra_t -> 'a -> HTML.er