OCaml Forge

pa-polyrec

pa_polyrec is a camlp4 extension providing polymorphic recursion.