You can search for identifiers within the package.
in-package search v0.2.0
type key
type 'a monad
type 'a t
val init : ?validate:('a monad -> bool monad) -> size:int -> 'a t
val in_cache : 'a t -> key -> bool
val get : 'a t -> ?validate:('a monad -> bool monad) -> key -> (key -> 'a monad) -> 'a monad