Up

module Extended_memo

: sig

Extensio to Core.Memo

#
val general_rec : (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b

A version of Memo.general more suitable for memoizing recursively-defined functions

#
val reentrant_unit : (unit -> 'a) -> unit -> 'a
end