Memoization and fixed points library for OCaml
