C# Class Algebra.QL.TypeCheck.Expr.VarExpr

Inheritance: Algebra.Core.Expr.VarExpr, ITypeCheckExpr
Mostrar archivo Open project: software-engineering-amsterdam/poly-ql

Public Methods

Method Description
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType
VarExpr ( string name ) : System

Method Details

TypeCheck() public method

public TypeCheck ( ITypeEnvironment env ) : ITypeCheckType
env ITypeEnvironment
return ITypeCheckType

VarExpr() public method

public VarExpr ( string name ) : System
name string
return System