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