Fix is a simple Objective Caml module for computing the least solution of a system of monotone equations. It is described in the paper Lazy Least Fixed Points in ML.
You can study the algorithm's interface and implementation online, or you can download the source code.