Index.Cache
Signatures and implementations of caches. Make requires a cache in order to provide instance sharing.
Make
module type S = sig ... end
module Noop : S
Cache implementation that always misses.
module Unbounded : S
Cache implementation that always finds previously-added values, and grows indefinitely.