Legend:
Library
Module
Module type
Parameter
Class
Class type
Tuning
val 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.