You can search for identifiers within the package.
in-package search v0.2.0
module Eq (T : BatOrd.Eq) : sig ... end
module Ord (T : BatOrd.Ord) : sig ... end