You can search for identifiers within the package.
in-package search v0.2.0
val fold : 'a list -> 'b -> ('a -> 'b -> 'b) -> 'b
fold (x::xs) z f = f x (fold xs z f) *
fold (x::xs) z f
f x (fold xs z f)
val map : 'a list -> ('a -> 'b) -> 'b list
map [x; y; ...] f = f x; f y; ... *
map [x; y; ...] f
f x; f y; ...