Up

Module Extended_memo

Extensio to Core.Memo

Signature

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