You can search for identifiers within the package.
in-package search v0.2.0
GT.syntax
Pa_gt.Extension
val hdtl : 'a -> 'b list -> 'b * 'b list
val trait_proto_t : string -> string -> string