You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.clib
Hashcons.HashconsedRecType
type t
val hashcons : t f -> t f
Hashcons the given constructor, calling the provided function on children.
val eq : t -> t -> bool