You can search for identifiers within the package.
in-package search v0.2.0
module K : Key
type key = K.t
type !'a monad = 'a
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