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