You can search for identifiers within the package.
in-package search v0.2.0
type
Type
module Envs : sig ... end
module Equiv : sig ... end
module Expand : sig ... end
module Fresh : sig ... end
module Sub : sig ... end
module Subst : sig ... end
module Typ : sig ... end
module Typdef : sig ... end