You can search for identifiers within the package.
in-package search v0.2.0
frama-c-pdg.core
Pdg
Program Dependences Graph.
module Api : module type of Api
module Marks : module type of Marks