Functor LogtkCache.Linear

module Linear (X : EQ) : S  with type key = X.t
Parameters:
X : EQ

type 'a t 
type key 
val create : int -> 'a t
Create a new cache of the given size.
val clear : 'a t -> unit
Clear content of the cache
val with_cache : 'a t -> (key -> 'a) -> key -> 'a
Wrap the function with the cache
val with_cache_rec : 'a t ->
((key -> 'a) -> key -> 'a) ->
key -> 'a
Partially apply the given function with a cached version of itself. It returns the specialized function.