Module MemoSource

Tuning

Sourceval mk_memo : (int -> 'a) -> ('a -> 'b -> 'c) -> ('a -> 'b -> 'c -> 'd) -> (('b -> 'c) -> 'b -> 'c) -> 'b -> 'c

mk_memo create find add ff gives a memoïzed version of the functional ff using the functions create, find and add for the cache. It's used internally and you shouldn't have to use it.