Module for handle the arguments of the program.

This module provides functions to generate constraints for a program.

Module that provides a generic implemention for variables.

The module provides a functor that allows creating a variable module with an observer.

Module that provides structurs for doing the type inference

This module deals with the locations of the objects.

Allows to create a module that represents lower and upper bounds of a solution.

Module that is the image of location set variables.

This module provides a functor that create a mapping variable from a normal variable.

Module that provides types, values and function for the program labels.

This module contains the AST.