module Memo: sig .. end
sig
end
Core.Memo
val general_rec : (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b
(('a -> 'b) -> 'a -> 'b) -> 'a -> 'b
Memo.general
val reentrant_unit : (unit -> 'a) -> unit -> 'a
(unit -> 'a) -> unit -> 'a