Module Inf

module Inf: sig .. end

Module that provides structurs for doing the type inference

Types of Variables

type tvar

Type variables

type levar

Local environment Variables

type otvar

Object type variables

type prevar

Precise variables

type lsvar

Location Set Variables

module Vars: sig .. end

Module that containts the variables

module Type: sig .. end

Module that conataints the types

module ConstBasic: sig .. end

Module that containts the constraints

module Const: sig .. end

Module that contains the global set of basic constraints

module GEnv: sig .. end