You can search for identifiers within the package.
in-package search v0.2.0
codex.terms
Condition.HomeMadeMTBDD
module Condition = ConditionMy
module MakeConditionMap = MakeConditionMapMTBDD
module type SCONDITIONMAP = SCONDITIONMAP_MTBDD
module ConditionMap = ConditionMapMTBDD