You can search for identifiers within the package.
in-package search v0.2.0
module Bdd = Bdd
module S = S
module Vcr = Vcr
module Vlr = Vlr