You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.clib
HMap.HashedType
type t
val compare : t -> t -> int
Total ordering
val hash : t -> int
Hashing function compatible with compare, i.e. compare x y = 0 implies hash x = hash y.
compare
compare x y = 0
hash x = hash y