Метод | Описание | |
---|---|---|
AndExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System | ||
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType |
public AndExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System | ||
l | ITypeCheckExpr | |
r | ITypeCheckExpr | |
Результат | System |
public TypeCheck ( ITypeEnvironment env ) : ITypeCheckType | ||
env | ITypeEnvironment | |
Результат | ITypeCheckType |