You can search for identifiers within the package.
in-package search v0.2.0
diffast-langs-java.p
Mjava_p.Java_lib_p
module Lang_base = Diffast_core.Lang_base
module Java_lib_base = Java_base.Java_lib_base
module Java_fact = Java_base.Java_fact