An OCaml library that helps with various constructions that involve memoization and fixed points (recursion).

WWW: https://gitlab.inria.fr/fpottier/fix
