You can search for identifiers within the package.
in-package search v0.2.0
bonsai.quickcheck
Bonsai_quickcheck.Map_comparator
type (!'cmp_a, !'cmp_b) comparator_witness