You can search for identifiers within the package.
in-package search v0.2.0
codex.terms
MakeConditionMapCuddMTBDD.T
type t = L.t CuddMTBDD.t
val hash : 'a CuddMTBDD.t -> CuddMTBDD.id
val equal : 'a -> 'a -> bool