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