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

Inheritance: BinaryExpr, ITypeCheckExpr

Show file Open project: software-engineering-amsterdam/poly-ql

Public Methods

Method	Description
LessThenExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType

Method Details

LessThenExpr() public method

public LessThenExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System
l	ITypeCheckExpr
r	ITypeCheckExpr
return	System

TypeCheck() public method

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