You can search for identifiers within the package.
in-package search v0.2.0
codex.terms
MakeConditionMapTreePI.ConditionMapTree
type 'a t = 'a Condition_map.ConditionMapTree(Condition).t
module Make (L : Condition_map.L) : sig ... end