You can search for identifiers within the package.
in-package search v0.2.0
The output signature of the functors Mk, Make, MakeWeak and Fake.
Mk
Make
MakeWeak
Fake
type t
val memo : ((t -> 'a) -> t -> 'a) -> t -> 'a