You can search for identifiers within the package.
in-package search v0.2.0
GT.View
View.List
Viewing lists of Viewable types with concatenation with comma.
Viewable
module X : Viewable
type t = X.t list
The type.
val toString : t -> string
View function.