C# Класс Algebra.QL.TypeCheck.Expr.SubtractExpr

Наследование: BinaryExpr, ITypeCheckExpr

Показать файл Открыть проект

Открытые методы

Метод	Описание
SubtractExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType

Описание методов

SubtractExpr() публичный Метод

public SubtractExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System
l	ITypeCheckExpr
r	ITypeCheckExpr
Результат	System

TypeCheck() публичный Метод

public TypeCheck ( ITypeEnvironment env ) : ITypeCheckType
env	ITypeEnvironment
Результат	ITypeCheckType