Toggle navigation
Hot Examples
ZH
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
搜索
Home
Algebra
QL
TypeCheck
Expr
VarExpr
C# Class Algebra.QL.TypeCheck.Expr.VarExpr
Inheritance:
Algebra.Core.Expr.VarExpr
,
ITypeCheckExpr
显示文件
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