You can search for identifiers within the package.
in-package search v0.2.0
gospel.stdlib
Gospelstdlib.Map
Maps from keys of type 'a to values of type 'b are represented by Gospel functions of type 'a -> 'b.
'a
'b
'a -> 'b