You can search for identifiers within the package.
in-package search v0.2.0
codex.terms
Condition.CuddPIMTBDD
module Condition = ConditionCudd
module ConditionMap : sig ... end
module MakeConditionMap = MakeConditionMapCuddMTBDD
module type SCONDITIONMAP = SCONDITIONMAP_CUDD_MTBDD