Index of modules

Module for handle the arguments of the program.

Module that contains the global set of basic constraints

Module that containts the constraints

Module that generates the constraints for expressions, serious expressions and values

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

Set of Locations

Module that is the image of location set variables.

This module deals with the locations of the objects.

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.

Takes the set and creates a module allowing to collect lower and upper bounds.

Functor that creates the variables.

Implemenation of the type variables.

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

This module represents pointers to locations.

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

This module contains the AST.

Module of the type environment (Gamma)

Module that conataints the types

Module that containts the variables