You can search for identifiers within the package.
in-package search v0.2.0
jasmin.jasmin
Mr.Facts
val eqb : Eqtype.Equality.sort -> Eqtype.Equality.sort -> bool
val coq_In_dec : 'a1 Map.t -> Map.key -> bool