C# Class Algebra.QL.Extensions.TypeCheck.Expr.SumExpr

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

Public Methods

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

Method Details

SumExpr() public method

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

TypeCheck() public method

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