Set-Based analysis for ML

This software implements a generic analysis tool for full ML (including higher-order functions, arrays, refs, continuations, exceptions, modules, etc.), based in the ideas of set-based analysis. The purpose of the tool is to provide a variety of information for program transformation and optimization.